Am about to package this:

gnome-shell-extension-updater 

Just wondering in case if somebody else is working on it