diff options
| author | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-04-18 12:15:10 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-04-18 12:15:10 -0700 |
| commit | 839a7a06f35bf8cd563a41d6db97f453ab108129 (patch) | |
| tree | d7d681633af8bac34d18dbdcd526c301a4818a5e /git-prune-script | |
| parent | b51ad4314078298194d23d46e2b4473ffd32a88a (diff) | |
| download | git-839a7a06f35bf8cd563a41d6db97f453ab108129.tar.gz | |
Add the simple scripts I used to do a merge with content conflicts.
They sure as hell aren't perfect, but they allow you to do:
./git-pull-script {other-git-directory}
to do the initial merge, and if that had content clashes, you do
merge-cache ./git-merge-one-file-script -a
which tries to auto-merge. When/if the auto-merge fails, it will
leave the last file in your working directory, and you can edit
it and then when you're happy you can do "update-cache filename"
on it. Re-do the merge-cache thing until there are no files left
to be merged, and now you can write the tree and commit:
write-tree
commit-tree .... -p $(cat .git/HEAD) -p $(cat .git/MERGE_HEAD)
and you're done.
Diffstat (limited to 'git-prune-script')
| -rwxr-xr-x | git-prune-script | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/git-prune-script b/git-prune-script new file mode 100755 index 0000000000..d0f19f19e2 --- /dev/null +++ b/git-prune-script @@ -0,0 +1,2 @@ +#!/bin/sh +fsck-cache --unreachable $(cat .git/HEAD ) | grep unreachable | cut -d' ' -f3 | sed 's:^\(..\):.git/objects/\1/:' | xargs rm |
