On Mon, Jun 12, 2017 at 7:33 PM Michael Catanzaro <mike.catanzaro@xxxxxxxxx> wrote:
Fine by me, but then of course we need to get rid of
extensions.gnome.org, or at least the extension installation
functionality.
Not really. We still want the website for uploading extensions and (code+user) reviews. It's probably a good idea to update the website to do something different for recent-enough GNOME versions - maybe a "Check out in Software" button based on a custom shell-extension: URI scheme - but removing the installation functionality all together would leave users of older OS in the cold.
_______________________________________________ desktop mailing list -- desktop@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to desktop-leave@xxxxxxxxxxxxxxxxxxxxxxx
