Hey, I'd like to draw some additional attention to the fact that the MediaWiki release tags and branches have disappeared from the git repo mirror on GitHub.
https://phabricator.wikimedia.org/T100409 Having this disruption for anyone who relies on this mirror be addressed in a timely manner would be great. Cheers -- Jeroen De Dauw - http://www.bn2vs.com Software craftsmanship advocate Developer at Wikimedia Germany ~=[,,_,,]:3 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l