What are some different git commands in the terminal?