Thanks. Fixing the inconsistency the other way around (Pinned study comment) makes more sense to me. It's the pinned comment describing the study, not the action to study a pinned comment.

Hint:

Just to clarify, is the correct phrasing 'Pinned chapter comment' or still 'Chapter pinned comment' in the case where it is chapter instead of study.

i.e. "Pinned chapter comment" is better.

Fix issue #13480.

Also, I'm not convinced that the original issue has been properly configured to auto-close upon the fix's merge. https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword

Fix issue #13480.

Also, I'm not convinced that the original issue has been properly configured to auto-close upon the fix's merge. https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword

I believe I used the keyword 'fix' and linked the issue. Is there anything else I need to do?

Fix issue #13480.

Also, I'm not convinced that the original issue has been properly configured to auto-close upon the fix's merge. https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword

I believe I used the keyword 'fix' and linked the issue. Is there anything else I need to do?

The syntax doesn't match. Use KEYWORD #ISSUE-NUMBER. i.e. Edit the description and remove the word "issue" so that it becomes "Fix #13480".

You will know that the PR has been properly linked when you go to the issue page and see the PR linked in the "Development" section in the sidebar to the right with the text "Successfully merging a pull request may close this issue."

Got it, thank you