Git commands

This document is a draft.

Useful git commands.

If you did a commit and notice something is wrong you can repost the same commit with your new fix without the need to post another commit.
You do this using --amend option and then push again