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
17 git commit
-a -m 'Saving an updated config for the test.'
20 git push
-u --mirror server
24 git clone
-o server server.git B
27 gitgitconfig-restore server
29 if [[ "$(git remote)" == "$(echo server)" ]]; then