Repository navigation
fix(server): preserve repository display casing - #19202
Open
cardoso-neto wants to merge 1 commit into
Open
cardoso-neto wants to merge 1 commit into
cardoso-neto wants to merge 1 commit into
Conversation
Contributor
ApprovabilityVerdict: Approved at Macroscope's review found this PR approvable — This is a small, self-contained server bug fix that preserves repository display casing without changing canonical grouping or introducing schema, deployment, security, or configuration-default changes. The accompanying test updates cover the affected resolver expectations. You can add or adjust custom eligibility rules. Learn more. |
Co-authored-by: Codex gpt-6.1-sol <noreply@openai.com>
cardoso-neto
force-pushed
the
fix/repository-display-case
branch
from
October 14, 2026 16:19
bddb2a2 to
6d10901
Compare
fernandobcc
approved these changes
Oct 14, 2026
jovane-mafort
approved these changes
Oct 14, 2026
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Theo's agent reviewing this PR, let Theo know I love t3code and the session lineage thing!
Issue: Grouped project names come from a lowercased repository key, so
MyOrg/my-repoappears asmyorg/my-repo.Solution: Preserve the remote's capitalization for display while keeping repository grouping unchanged.