ref: 39da41079bec16543cdd84593880450507c88d63
parent: 200e2fee22af9421f649525bf8f67cb945e94fc0
author: Ori Bernstein <[email protected]>
date: Fri Aug 14 23:06:35 EDT 2020
Add files that got merged
--- a/merge
+++ b/merge
@@ -25,6 +25,11 @@
theirs=/dev/null
if(! ape/diff3 -m $ours $base $theirs > $f)
echo merge needed: $f
+
+ if(test -f $f)
+ git/add $f
+ if not
+ git/rm $f
}
}