Not attending GUADEC as it happens at the same time as some personal stuff.
Nice to see development improvements thanks to Git. Are there any more? Wonder if we should/could request a gnome.gitorious.org. Meaning: hosting by gitorious (so not official), and main repos on git.gnome.org. Then we’d just have a simple hook on git.gnome.org to trigger an update of the mirrors/clones on gitorious. Anyway, just a thought.