Last modified: 2011-01-07 16:42:12 UTC
Talking on IRC, we realized this alias would be kind of nice if it's not too much hassle. svn.mediawiki.org -> svn.wikimedia.org Thanks :)