#git --git-dir=./games/.git --work-tree=./games pull #cd games #git pull #cd .. #cd games #git pull #cd .. #git pull #git checkout games #% hg pull #% hg commit -m "$*" #git --git-dir=games/.git --work-tree=games commit #git --git-dir=games/.git --work-tree=games push #git commit -a -m "$*" #git push #% hg push