Re: Impossible to push patches to codeberg

[Ludovic Courtès]

After a fruitless debugging session with Vagrant on IRC, I opened this
issue:

  https://codeberg.org/Codeberg/Community/issues/1974

Ludo’.