han's logs at JLab

git commands

git pull
git add /file/ or /directory/
git rm -rf /directory/

git commit -a

git rm -r packages/ed/

git diff ../file/

git pull
git push

git push --force