No incidents reported
We found and fixed an issue with our configuration management that prevented the Git pushes.
Pushing to the git repository is currently unavailable. We are investigating the cause.