Use case: I want to mirror a bunch of repositories of a project. I suppose this would be pretty easy with a script.
But to the git part: I fear that the developers might force push things and thus revert commits and de facto delete code.
Is there a way to git clone and auto-checking out to a different branch or something else, to avoid force pulling and reverting commits?


Pruning clears cached blobs and unlinked objects. It 100% will not clear history unless you’re forcing a specific depth to be achieved, which, again, is not something that people who want a functional repo would do.
Dangling commits are unlinked objects, and happen pretty frequently if you’re using hard resets instead of explicit
git reverts.Not arguing that it’s good practice but it’s very common.