Skip to content

Hyperlink GitHub issue and pull request references - #2220

Open
PatrickF27 wants to merge 1 commit into
dandavison:mainfrom
PatrickF27:codex/issue-1482-linkify-references
Open

Hyperlink GitHub issue and pull request references#2220
PatrickF27 wants to merge 1 commit into
dandavison:mainfrom
PatrickF27:codex/issue-1482-linkify-references

Conversation

@PatrickF27

Copy link
Copy Markdown

Summary

  • hyperlink GitHub #number references in commit output to the corresponding issue URL
  • preserve commit SHA hyperlinking, including custom commit URL formats, without nesting OSC 8 links
  • document the new GitHub issue and pull request reference behavior

Testing

  • Not run locally at the request of the contributor; relying on CI

Closes #1482.

Generated with Codex.

Co-authored-by: Codex noreply@openai.com

Co-authored-by: Codex <noreply@openai.com>
@PatrickF1

Copy link
Copy Markdown

Hi @dandavison, could you allow the CI to run so I can be sure the tests pass, or review the PR?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

🚀 Hyperlink pull request and issue numbers

2 participants