rebase-merge.sh: delete backup branch: git branch -D merger-$tstp