11 ms·

Tried to do a git push - it succeeded after 3 mins. Then I wanted to open a PR and it failed with a 500 error. Facepalmed and decided that this is it for today

by fen4o 4mo ago

Tried to do a git push - it succeeded after 3 mins. Then I wanted to open a PR and it failed with a 500 error. Facepalmed and decided that this is it for today.