Hacker News Reader

Comment by Wavelets | Hacker News Reader

Whew, glad I decided to scroll HN right now. I've been puzzling over why I'm getting "! [remote rejected] master -> master (Internal Server Error)" as well while trying to push and decided to take a break.

View on HN

Time to take some coffee and configure Vim

Don't you guys have other features and stuff to work on locally? What is this "time to take a break when GitHub is down"? I'm saying this a bit tongue in cheek btw :)

All my features are part of 1 PR, the PR contains no code to avoid bugs, the features are in my head.

I can’t see any deficiencies in this approach.

But muh plugins are all on Github...

I hope you have a lot of coffee.

It's been like that for at least 6 hours, randomly appearing. I would take a pause and try again and then it would work, but now it's definitely much more persistent.

Guess it's time to go play some video games....

https://xkcd.com/303/

Here you go:

  $ while ! git push my; do sleep 1; done

Works for me eventually, although commits do not appear in web interface (they do in the actual repository).

Having been on the receiving end of things like this: please, make the sleep longer. Adding more requests to already malfunctioning system is not a good way to help in fixing it.

Thanks but no thanks - no way am I doing anything to my core app repos when the repo host is fritzing out. This is one of those moments to go for a walk (or bed, depending on your timezone).

-f does not sound like a good idea to me in a script like that.

Also pretty much every usage of -f would be better off being --force-with-lease so you're less likely to accidentally clobber someone else's work. I have git fpush aliased to "push --force-with-lease" and try to spread the gospel when possible :)

Yeah, I learned it by using magit or vscode's other magit and they both default to --force-with-lease.

Good point. I just copy-pasted it from the terminal, as it made sense in my particular situation. I'll remove it.

Also yesterday depending on where you were in the world.

Yep, same here! Good time to make a new coffee :)

Same here got rejected when push. ! [remote rejected] HEAD -> main (Internal Server Error)

haha I thought I had finally made one too many git commits (I'm an over-commiter).

Never really realized that github had many technical incidents lol

It's the new Hotmail ;)

same here, I was having internet issues yesterday, and now that my internet is working github isn't, haha.

dito

Reply on news.ycombinator.com