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