it seems git.wikimedia.org is down due:
* no volunteer has access
* no paid person works on weekends
* everybody else is at wikimania
rupert.
_______________________________________________
Wikimania-l mailing list
Wikimania-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikimania-l