WARNING:  This is my own personal development repo. For the official version of this look https://git.gnome.org/browse/gnome-shell/ first.