News for hackers. Stuff that matters.

A comment on Git undo: We can do better. Parent comment

Re:Git undo: We can do better by u801e on Tuesday June 22, 2021 @09:36AM (#27591427)
Have you tried running:

  git push origin HEAD
In both Github and Github Enterprise, that command will create a branch with the same name on the remote.
[ Parent | on HN ]
Re:Git undo: We can do better by npteljes on Wednesday June 23, 2021 @03:57AM (#27601970)
Works like a charm, thanks!
[ Parent | on HN ]