3 git init
--bare server.git
12 git remote add server
"$(cd ..; pwd)"/server.git
13 git push
-u --mirror server
15 git push
-u --mirror server
19 git clone
-o server server.git B
22 gitgitconfig-restore server
26 if [[ "$(git remote)" == "$(echo server)" ]]; then