After attempt #4 at 1706 Europe/Helsinki, git push worked. So just keep trying.
Edit: As of 10:04am I was able to push
! [remote rejected] feature/ui-improvements -> feature/ui-improvements (Internal Server Error)
Edit: One minute after posting this it's working again.
ellisv•2mo ago
cosmic_quanta•2mo ago
Edit: I was just able to pull again
robertkoss•2mo ago
lhopki01•2mo ago