Please see my comments on: <
https://phabricator.wikimedia.org/T119701#1834962>
And the related ticket: <https://phabricator.wikimedia.org/T83702>
On Fri, Nov 27, 2015 at 11:06 AM, planetenxin <planetenxin(a)web.de> wrote:
Since yesterday we could not reach
git.wikimedia.org
any more.
A call like:
https://git.wikimedia.org/zip/?r=mediawiki/extensions/AdminLinks.git&h=…
fails with a timeout.
Ping is working.
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
--
Jaime Crespo
<http://wikimedia.org>