[DRE-maint] Bug#964194: gitlab: "internal API unreachable" when pushing something to repository

[Frederik Himpe]

Pirate Praveen schreef op 2020-07-03 17:18:

> See #964097 for a discussion. We saw this error with git push and
> changing that file fixed it. So not sure what is the issue you have.

In that bug it mentions that a stack trace was printed. This is not the 
case on my system. I guess I experience another bug, or either the patch 
hid the stack trace, but introduced another problem which does not cause 
a stack trace.

-- 
Frederik Himpe <fhimpe at ai.vub.ac.be>
Vrije Universiteit Brussel