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]' section. I do this after copying the .git directory to my remote server when setting up a new repo. Google returns a Stack Overflow answer [1] that says you can do the same with: git config --bool core.bare true [1] https://stackoverflow.com/questions/2199897/how-to-convert-a-normal-git-repository-to-a-bare-one -- Tixy
