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•1h ago
cosmic_quanta•1h ago
Edit: I was just able to pull again
robertkoss•1h ago
lhopki01•1h ago