On Fri, Feb 19, 2010 at 6:45 PM, Ævar Arnfjörð Bjarmason avarab@gmail.com wrote:
If you're one of the guilty or know the contact info for them please add it to USERINFO/
Probably some people don't want to publish their real name or e-mail address publicly.
On Fri, Feb 19, 2010 at 10:09 PM, Ævar Arnfjörð Bjarmason avarab@gmail.com wrote:
What we're trying to do is:
* Set up a git-svn mirror on github which people can use to work with MediaWiki's SVN through Git
We've been given free hosting by Github to do this there: http://support.github.com/discussions/site/1281-are-you-interested-in-giving...
Even if you don't want to use git-svn it's nice to have a mirror or Github just because it makes it easy for a lot of people already there to follow the project.
IMO, we want git hosting on Wikimedia servers. With git, it's trivial to move the actual repository later, but it's not trivial to update all the links people have been using. I don't want a repeat of the situation with SourceForge, where we had people downloading ancient versions of MediaWiki for years because we couldn't point SourceForge to the new official site. That *is* a very real risk if we're using hosting we don't control.
If people prefer working with github, of course, we could have the official(-er) one at git.wikimedia.org, and keep a copy at github that automatically pulls from the Wikimedia one. But I really don't think we want to point people to github.com URLs as the *primary* source to get MediaWiki via git, just as a secondary option.