cullmann/cullmann.io
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

nicer format

Browse source
This commit is contained in:
Christoph Cullmann 2019-04-15 20:07:10 +02:00
parent 6188e08eb2
commit 5e699a92c8
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
content/posts/removing-files-from-git-history.md
View file

@ -1,6 +1,6 @@
--- ---
title: "Removing Files from Git History" title: "Removing Files from Git History"
date: 2019-04-15T20:05:00+02:00 date: 2019-04-15T20:07:00+02:00
draft: false draft: false
categories: [git, development] categories: [git, development]
tags: [git] tags: [git]
@ -32,4 +32,4 @@ with just
to not wait potential hours for the aggressive GC. to not wait potential hours for the aggressive GC.
For me that was good enough to get some estimate of the later size for my experiments before I settled to some final settings and did the real run. For me that was good enough to get some estimate of the later size for my experiments before I settled to some final settings and did the real run.
**And as always, if you touch your Git history: Do that only if you really need to, keep backups, check carefully that afterwards the repository is in some sensible state (`git fsck --strict` is your friend) and inform all people using that repository that they will need to do a full new clone.** And as always, if you touch your Git history: **Do that only if you really need to, keep backups, check carefully that afterwards the repository is in some sensible state (`git fsck --strict` is your friend) and inform all people using that repository that they will need to do a full new clone.**