Handy Git commands for beginners – revert commits, manage PR, reset branch, etc. | Hacker News Reader