we have grouped PR merges enabled. each PR is squash-merged. what i'm seeing is that the original PR on github gets marked closed rather than merged. i see the comment text from graphite saying "this PR was merged via draft PR #...", but what concerns me is that github issues linked to PRs do not automatically close with this process. secondary, analytics looks all wrong (lots of closed rather than merged PRs, or as many closed PRs as there are merged PRs). what methods exist to have PRs properly marked merged instead?