Recover a file you deleted but was tracked by git
git restore path/to/file
Change the message of your most recent commit
Apply a specific commit from another branch
Create a new branch and switch to it in one command
Force push only if no one else has pushed in the meantime