I see – one downside of not being git native though is that none of that context would be carried across if you ever pushed the repo to another remote.
Or, more importantly, it becomes impossible to revert one of the individual commits that made up a PR, as all that info would be trapped in GitHub.