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