3 LOG_FILE="../left_over.log"
5 cp /dev/null "$LOG_FILE"
7 heads=$(awk -F '\t' '/^#/ {next;} { printf("%s/%s ", $3, $5); }' ../etc/control)
19 # mb=$(git merge-base origin/master "$h")
20 # rh=$(git rev-parse "$h")
21 # [ "$mb" = "$rh" ] &&
24 # c=$(git rev-list --pretty='format:%m%H' --no-merges --left-right --cherry-pick origin/master..."$h" | sed -n 's/^>//p')
25 # c=$(git rev-list --no-merges origin/master.."$h")
28 count=$(git rev-list --count --no-merges "$base".."$h")
32 echo "$h" "$count" | tee -a "$LOG_FILE"
33 # git shortlog --no-walk "$c" 2>&1 | tee -a "$LOG_FILE"
34 git log --oneline --no-merges "$base".."$h" | tee -a "$LOG_FILE"