On Fri, 2023-08-25 at 19:47 +0200, john doe wrote: > On 8/25/23 13:44, Tixy wrote: > > On Fri, 2023-08-25 at 10:47 +0200, to...@tuxteam.de wrote: > > > Yes, I think a bare remote is the way to go in this context > > > > You can make a repo bare by editing it's config file (.git/config) to > > have 'bare = true' instead of 'bare = false' under the '[core]' > > > > Generaly, the '.git' extension symbolises a bare repository!
The opposite is true, the .git directory is the default location for git's stuff in non-bare repos. $ git init test # some output omitted Initialized empty Git repository in /home/tixy/test/.git/ $ ls -lA test total 4 drwxr-xr-x 7 tixy tixy 4096 Aug 25 21:28 .git $ cat test/.git/config [core] repositoryformatversion = 0 filemode = true bare = false logallrefupdates = true For bare repos it doesn't create the .git directory... $rm -rf test $git init --bare test # some output omitted Initialized empty Git repository in /home/tixy/test/ $cat test/config [core] repositoryformatversion = 0 filemode = true bare = true -- Tixy