[Wikitech-l] git.wikimedia.org update