[gnome-shell-extensions] Change UUID to avoid gnome.org

[Giovanni Campagna <gcampagna src gnome org>]

commit d76abc79c77953de1be4322d96c14e0b8cccf047
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sat Nov 19 13:37:09 2011 +0100

    Change UUID to avoid gnome.org
    
    gnome.org is temporarily forbidden in UUIDs, to avoid people copy-pasting
    it around. For this reason, I setup a repo at github and modified
    the UUID accordingly.
    I still think that primary development will stay at gnome.org, although
    I'll keep both updated.

 extension.mk |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extension.mk b/extension.mk
index c429a5a..1301dce 100644
--- a/extension.mk
+++ b/extension.mk
@@ -2,7 +2,7 @@ extensionurl = http://git.gnome.org/gnome-shell-extensions
 
 # Change these to modify how installation is performed
 topextensiondir = $(datadir)/gnome-shell/extensions
-extensionbase = @gnome-shell-extensions.gnome.org
+extensionbase = @gnome-shell-extensions.gcampax.github.com
 
 uuid = $(EXTENSION_ID)$(extensionbase)