Useful Git Commands

git-commands

Force local repo to match git repo
-----------------------------------------------------
git fetch origin
git reset --hard origin/master

Remove directories or files from the repo
-----------------------------------------------------
git rm -r one-of-the-directories
git commit -m "Remove duplicated directory"
git push origin master

List all the files in the repo branch (HEAD)
-----------------------------------------------------
git ls-tree --full-tree -r HEAD