This gitlab instance has an upgrade scheduled for Monday, May 19 @ 17:00 UTC. At least 1 hour of downtime can be expected while this is taking place. Thanks for your patience and happy hacking!
No longer used in pmaports, so let's remove it here.
See: pmaports!5995 (merged)
cc @lucaweiss