Learn more about these different git repos.
Other Git URLs
b0c55b9
Use bare repo for testing Apparently when running the tests on debian, they run into a problem because the repo is not bare. Since it does make sense to have a bare repo here, let's just fix it.