Important Git Commands

# revert a file
git checkout -- filename

# pull changes maintaining local changes
git stash
git pull
git stash pop

# Changing a remote's URL
https://help.github.com/articles/changing-a-remote-s-url/

# configuration
git config --global user.name "Raúl Pérula-Martínez"
git config --global user.email raules@gmail.com
git config --list

# aliases
git config --global alias.co checkout
git config --global alias.ci commit
git config --global alias.st status
git config --global alias.br branch