rupert THURNER wrote: >https://git.wikimedia.org/ seems to be dead.
Yup. It keeps happening: <https://bugzilla.wikimedia.org/51769>. MZMcBride _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
