Linux

10605 readers

453 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

Mirroring git repos with force push protection? (feddit.org)

submitted 5 days 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

[–] dgdft@lemmy.world 2 points 5 days ago (2 children)

Great answer on the whole, but worth noting that both Git’s standard CLI client and most hosted git services do run periodic GC to prune dangling commits.

I second the suggestion to take periodic snapshots of your mirror. Because the majority of file contents will not be changing over time, you can make these snapshots very disk-space efficient by taking binary diffs of the tar’d repo using rdiff or the like.

[–] pantherina@feddit.org 3 points 5 days ago

True, I can do that with btrfs snapshots

[–] just_another_person@lemmy.world 0 points 5 days 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 5 days 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.