Using the Gerrit workflow (single commit, rebase it and "push --force" back to topic branch to update it) with GitHub PR works fine enough, so doing a local push or merge marks the PR as merged.If it works locally, then instead of pushing the local merge back to origin, it's still preferable to use the green button to see the PR merged, not closed, in GH.