Mirror of git://git.gnome.org/gnome-desktop