set_git_dir: handle feeding gitdir to itself
[git.git] / ci / 
tree54a6a12d1baa8fac22f4b44d116917d20e4e2976
drwxr-xr-x   ..
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 2650 run-windows-build.sh
-rwxr-xr-x 684 test-documentation.sh