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