Git: git pull (Get Update)

How to get update from a remote repository?

git pull URL

update local repo from a remote repo at URL

Example:

# cd to my git project dir
cd ~/git/xah-fly-keys

# pull from a remote repository
git pull https://github.com/xahlee/xah-fly-keys

How to force a pull?

# discard local changes
git reset --hard

# delete all untracked local files and dirs. (DANGEROUS)
git clean -xdf

git pull remote_server_or_name