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