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-pull-script | |
parent | b51ad4314078298194d23d46e2b4473ffd32a88a (diff) | |
download | git-839a7a06f35bf8cd563a41d6db97f453ab108129.tar.gz git-839a7a06f35bf8cd563a41d6db97f453ab108129.tar.xz |
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-pull-script')
-rwxr-xr-x | git-pull-script | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/git-pull-script b/git-pull-script new file mode 100755 index 000000000..b04a9be21 --- /dev/null +++ b/git-pull-script @@ -0,0 +1,46 @@ +#!/bin/sh +# +# use "$1" or something in a real script, this +# just hard-codes it. +# +merge_repo=$1 + +echo "Getting object database" +rsync -avz --ignore-existing $merge_repo/ .git/ + +echo "Getting remote head" +rsync -avz $merge_repo/HEAD .git/MERGE_HEAD + +head=$(cat .git/HEAD) +merge_head=$(cat .git/MERGE_HEAD) +common=$(merge-base $head $merge_head) +if [ -z "$common" ]; then + echo "Unable to find common commit between" $merge_head $head + exit 1 +fi + +# Get the trees associated with those commits +common_tree=$(cat-file commit $common | sed 's/tree //;q') +head_tree=$(cat-file commit $head | sed 's/tree //;q') +merge_tree=$(cat-file commit $merge_head | sed 's/tree //;q') + +if [ "$common" == "$merge_head" ]; then + echo "Already up-to-date. Yeeah!" + exit 0 +fi +if [ "$common" == "$head" ]; then + echo "Updating from $head to $merge_head." + echo "Destroying all noncommitted data!" + echo "Kill me within 3 seconds.." + sleep 3 + read-tree $merge_tree && checkout-cache -f -a + echo $merge_head > .git/HEAD + exit 0 +fi +echo "Trying to merge $merge_head into $head" +read-tree -m $common_tree $head_tree $merge_tree +result_tree=$(write-tree) || exit 1 +result_commit=$(echo "Merge $merge_repo" | commit-tree $result_tree -p $head -p $merge_head) +echo "Committed merge $result_commit" +echo $result_commit > .git/HEAD +read-tree $result_tree && checkout-cache -f -a |