What is a bare Git repository? But what if you have a server where you simply want to manage a Git repository, allow users to push and pull, and have no interest in using that repository for ongoing ...