Error with authentication : git push

pierric
Mon, 02 Oct 2023 15:34:59 +0000

Hi, sorry about that, we indeed had an issue with git that has been resolved, everything should work correctly again.