PR review hacks

list_commits.sh

base=$(git rev-list -n1 --min-parents=2 HEAD)
while IFS= read rev; do
    revs+=($rev)
done < <(git rev-list --reverse $base..HEAD)
i=1
for r in "${revs[@]}"; do
git log -n1 --format="- [ ] %H %s ($i/${#revs[@]})" $r
((++i))
done