2 tool
=$
(readlink
-e "${0%/*}/..")
6 git config
--replace branch.master.remote .
7 git config
--replace branch.master.merge refs
/remotes
/master
8 install -m 770 /dev
/stdin \
9 .git
/hooks
/post-update
<<-EOF
14 git --git-dir=\$PWD/.git checkout -f -B master remotes/master
15 git --git-dir=\$PWD/.git clean -f -d -x