Creating PR from issue on GH leaves PR without title in some places

[hexmode]

There was an issue with a title and I used forge's "create pr from issue" to create a PR that would close it.

The url is now .../pull/XXX instead of .../issue/XXX as expected, and the title displays correctly on the page, but when I look at the PR in any other view (this is a private repo and we're using projects where the PRs are displayed in tables, etc.) an empty entry is shown. For example:

The title of the PR should be the title of the issue.

[tarsius]

Based on it being displayed "on the page", we know that Github is aware of the title. It seems to me that that means that Forge was successful in telling the API to convert the topic.

I don't know what feature is being shown in the cropped screenshots. I am guessing it is the Github's "project" feature, which I don't use and thus would not recognize. But it might also be a third-party tool.

It seems to me that this isn't a Forge issue. Github can display the title in some places and in others it cannot. To me that indicates that the issue is on their end.

[hexmode]

PR: MWStake/Website#1

[hexmode]

Closing the PR without merging shows:

[hexmode]

For fun, reopening the PR keeps the title:

[hexmode]

so, at this point, unless I'm missing something, this looks like a GH issue.