Skip to content

docs: fix themes.gitconfig label and hoopoe line range - #2204

Open
Bartok9 wants to merge 1 commit into
dandavison:mainfrom
Bartok9:sera/docs-themes-gitconfig-name
Open

docs: fix themes.gitconfig label and hoopoe line range#2204
Bartok9 wants to merge 1 commit into
dandavison:mainfrom
Bartok9:sera/docs-themes-gitconfig-name

Conversation

@Bartok9

@Bartok9 Bartok9 commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Correct the displayed filename themes.configthemes.gitconfig on the color-moved page.
  • Point the hoopoe theme link at the current section (#L106-L130 instead of stale #L76-L91).

Motivation

The themes collection link already targeted themes.gitconfig, but the visible label said themes.config (no such file). Separately, the hoopoe deep-link still pointed at lines that are now mid-coracias-caudatus; hoopoe lives at L106–L130 and is the example for named colors / style references.

Verification

  • Repo has themes.gitconfig, not themes.config
  • rg confirms [delta "zebra-dark"] / [delta "zebra-light"] and [delta "hoopoe"] in that file
  • Current hoopoe block is L106–L130; L76–L91 is not hoopoe
  • Docs-only; git diff --check clean

Agent-Owner: sera · Platform: hermes · Claim: sera · Claim-TTL: 48h

@Bartok9
Bartok9 force-pushed the sera/docs-themes-gitconfig-name branch 3 times, most recently from dc0f054 to d925d7a Compare July 26, 2026 12:01
@Bartok9 Bartok9 changed the title docs: correct themes.gitconfig filename in color-moved page docs: fix themes.gitconfig label and hoopoe line range Jul 26, 2026
@Bartok9
Bartok9 force-pushed the sera/docs-themes-gitconfig-name branch from d925d7a to f067c6d Compare August 8, 2026 12:25
Correct the color-moved page label (themes.config → themes.gitconfig)
and point the hoopoe theme link at the current section in themes.gitconfig.
@Bartok9
Bartok9 force-pushed the sera/docs-themes-gitconfig-name branch from f067c6d to a462624 Compare September 3, 2026 11:58
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