Make git.../user/username/reponame.git work for all user repositories
On our git servers, older user repositories are stored with URLs like git://git.torproject.org/USERNAME/PROJECT.git and newer repositories have names like git://git.torproject.org/user/USERNAME/PROJECT.git
It would be great if the second format was the canonical format, so that we wouldn't need to guess when a repository was added or visit gitweb.torproject.org in order to find the repository's URL.
We would want to make this change in a way that doesn't break everything that's already pulling or pushing to the old URLs: inconveniencing everybody like that would probably not be a win.