We are following the gitflow workflow with support versions and we are also using PR (feature -> develop [squash], hotfix -> support/x.x, hotfix -> develop, release/x.x -> master)
The problem is that pull requests for releases are not strictly equivalent to "git flow release finish", especially because a tag is not added to master (also you need another PR to develop).
The problem is the same for hotfixes (you have 2 PRs to do and support/x.x is not tagged)
One thing that will sove the problem is the ability to add a tag on the destination branch of a PR when the PR is accepted.
Do you know if some automation is possible around that use case ?