3 LOG_FILE="../left_over.log"
9 echo "$@" | tee -a $LOG_FILE
12 heads=$(grep -v '^#' ../real_control | awk -F ' ' '$2=="quilt" { printf("quilt/%s ", $3); } $2=="git" { printf("%s/%s ", $3, $5); }')
15 mb=$(git merge-base origin/master $h)
16 rh=$(git rev-parse $h)
20 # c=$(git rev-list --pretty='format:%m%H' --no-merges --left-right --cherry-pick origin/master...$h | sed -n 's/^>//p')
24 ## git shortlog --no-walk $c 2>&1 | tee -a $LOG_FILE
25 # log $h "$(echo $c | wc -w)"