• 0 posts
  • 1 comment
Joined 1 year ago
Cake day: January 1st, 2025
  • I don’t know if you’re joking, but in case you’re not: git reflog and git reset --hard HEAD@{n} is your friend. You can undo almost anything. Deleted commits and branches aren’t really deleted. Remotely deleted branches can be pushed again.

    Except for an (accidental) git restore/git reset. Those are permanent and can’t be undone.