Skip to content

Fix GitHub sidebar integration - #193

Merged
zhenghaoz merged 2 commits into
masterfrom
codex/fix-github-extension-0.13
Oct 17, 2026
Merged

zhenghaoz merged 2 commits into
masterfrom
codex/fix-github-extension-0.13

Conversation

@zhenghaoz

@zhenghaoz zhenghaoz commented Oct 17, 2026 •

Copy link
Copy Markdown
Collaborator

GitHub's current repository layout no longer matches the extension's CSS module selectors, so related repositories never mount. Locate the sidebar through SplitPageLayout.Pane and its About heading, read the current description markup, and insert the panel after Languages.

Give language color dots their own size and shape so they remain visible without GitHub's old styles. Sync the color table with GitHub Linguist: 836 language definitions, including updated C# and Elixir colors and current language names. Record the pinned source in the table and retain the transparent fallback for languages without a color. Bump the Chrome and Firefox manifests to 0.13.

Validation: verified mounting against HTML downloaded from https://github.com/gorse-io/gitrec, including pagination, delayed rendering, sidebar replacement, navigation, and language colors using temporary DOM checks. Compared all 836 language definitions and colors against the pinned upstream YAML and checked runtime lookups and transparent fallbacks. JavaScript syntax, both manifests, and git diff --check pass. No test files or npm dependencies are included.

@zhenghaoz zhenghaoz changed the title Fix GitHub sidebar integration and bump extension to 0.13 Fix GitHub sidebar integration Oct 17, 2026
@zhenghaoz
zhenghaoz merged commit 968cd93 into master Oct 17, 2026
1 check passed
@zhenghaoz
zhenghaoz deleted the codex/fix-github-extension-0.13 branch October 17, 2026 11:12
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.

1 participant