Here are some helpful git commands: