this post was submitted on 10 Dec 2025
5 points (85.7% liked)

Linux

10644 readers
737 users here now

A community for everything relating to the GNU/Linux operating system (except the memes!)

Also, check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 2 years ago
MODERATORS
Ategon@programming.dev
anzo@programming.dev
dwraf_of_ignorance@programming.dev
5
Mirroring git repos with force push protection? (feddit.org)
submitted 1 week ago by pantherina@feddit.org to c/linux@programming.dev
5 comments fedilink hide all child comments
 

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?

you are viewing a single comment's thread
view the rest of the comments
[–] just_another_person@lemmy.world 0 points 1 week ago (1 children)

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.

[–] dgdft@lemmy.world -1 points 1 week ago

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.