Skip to content

Normalize repository owner casing to fix GitHub PR integration#5495

Merged
stefanhaller merged 1 commit intojesseduffield:masterfrom
bradly0cjw:fix-case-insensitive
Apr 10, 2026
Merged

Normalize repository owner casing to fix GitHub PR integration#5495
stefanhaller merged 1 commit intojesseduffield:masterfrom
bradly0cjw:fix-case-insensitive

Conversation

@bradly0cjw
Copy link
Copy Markdown
Contributor

PR Description

Close #5494

Normalizes the repository owner to lowercase during the PR mapping.
This ensures that PR icons and integration features work correctly even when the local git remote URL casing differs from the official repository casing on GitHub.

Please check if the PR fulfills these requirements

  • Cheatsheets are up-to-date (run go generate ./...)
  • Code has been formatted (see here)
  • Tests have been added/updated (see here for the integration test guide)
  • Text is internationalised (see here)
  • If a new UserConfig entry was added, make sure it can be hot-reloaded (see here)
  • Docs have been updated if necessary
  • You've read through your own file changes for silly mistakes etc

Normalizes the repository owner to lowercase during the PR
mapping.
This ensures that PR icons and integration features work correctly even
when the local git remote URL casing differs from the official
repository casing on GitHub.
@codacy-production
Copy link
Copy Markdown

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

🟢 Metrics 1 duplication

Metric Results
Duplication 1

View in Codacy

TIP This summary will be updated as you push new changes. Give us feedback

@stefanhaller stefanhaller added the bug Something isn't working label Apr 10, 2026
@stefanhaller stefanhaller enabled auto-merge April 10, 2026 16:47
@stefanhaller
Copy link
Copy Markdown
Collaborator

Makes sense, thanks.

@stefanhaller stefanhaller merged commit 38dd035 into jesseduffield:master Apr 10, 2026
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PR integration fails to map local branch when remote URL casing differs from upstream

2 participants