| |||||||||||||
extensions.gnome.org launchesextensions.gnome.org launchesPosted Dec 2, 2011 15:27 UTC (Fri) by robinst (subscriber, #61173)In reply to: extensions.gnome.org launches by paravoid Parent article: extensions.gnome.org launches
> I'd probably prefer having an official tree where people could contribute their crap extensions and these would be reviewed, maintained and forward-ported by the GNOME team
You could aim for inclusion in the gnome-shell-extensions repository, which is kind of what you want:
(Log in to post comments)
extensions.gnome.org launches Posted Dec 2, 2011 15:30 UTC (Fri) by paravoid (subscriber, #32869) [Link]
I did, before the website launched. I was informed that this repository was temporary, and will be deprecated after the website launches (i.e. right about now).
extensions.gnome.org launches Posted Dec 3, 2011 10:30 UTC (Sat) by robinst (subscriber, #61173) [Link]
Ok, didn't know that.
|
|||||||||||||