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); }')
16 mb=$(git merge-base origin/master $h)
17 rh=$(git rev-parse $h)
21 c=$(git rev-list --pretty='format:%m%H' --no-merges --left-right --cherry-pick origin/master...$h | sed -n 's/^>//p')
25 log $h "$(echo $c | wc -w)" | tee -a $LOG_FILE
26 git shortlog --no-walk $c 2>&1 | tee -a $LOG_FILE