I recently added more words to the bottom of the about page that explains this:
https://extensions.gnome.org/about/
> _______________________________________________
On Mon, Dec 5, 2011 at 8:30 PM, Ronan FORTIN <ronan fortin gmail com> wrote:
> Hi all,
>
> When I install extension from https://extensions.gnome.org, how extension is
> update? with a repository?
>
> Thanks,
> Ronan
>
> gnome-shell-list mailing list
> gnome-shell-list gnome org
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list
>
--
Jasper