2 tool
=$
(readlink
-e "${0%/*}/..")
6 git config
--replace branch.master.remote .
7 git config
--replace branch.master.merge refs
/remotes
/master
9 tool
=$
(cd "$tool"; cd -)
10 install -m 770 /dev
/stdin \
11 .git
/hooks
/post-update
<<-EOF
16 #git --git-dir=\$PWD/.git checkout -f -B master remotes/master &&
17 git --git-dir=\$PWD/.git checkout HEAD'^' &&
18 git --git-dir=\$PWD/.git branch -f master remotes/master &&
19 git --git-dir=\$PWD/.git checkout master
20 git --git-dir=\$PWD/.git clean -f -d -x