@b0rk great information, as always! Thank you for creating and sharing!

Maybe interesting in that context: some time ago I experimented with what the most minimal .git folder would look like and still be recognized by #git: https://manuel-strehl.de/minimal_git_folder