# Git ##### Push commits to another branch ``` git push origin : ``` ##### List git config settings ##### `git config --list` Change git user for single repository `git config user.name "John Smith"` ##### Change git user email globally `git config --global user.email "john@smith.com"` ##### Checkout to old commit `git checkout ` ##### Change git case sensitivity(default is true) `git config core.ignorecase false` ##### Restore to certain commit `git reset --hard f170a0c` `git push -f` ##### Change origin URL `git remote -v` `git remote set-url origin ` ##### Reset one file `git checkout HEAD -- ` ##### Clone specific branch `git clone -b ` ##### Show commit diff `git show `