Can't the push to the branch (force or otherwise) be skipped in the script? I typically don't do that as part of my manual git process. The docs here say that step is to automatically close the pull request but I thought deleting the feature branch covered that.