Skip to content

[CTX-0041] chore(docs): bump the plugins docs pin - #116

Merged
Xuepoo merged 1 commit into
mainfrom
ctx-0041/chore-docs-pin
Oct 26, 2026
Merged

Xuepoo merged 1 commit into
mainfrom
ctx-0041/chore-docs-pin

Conversation

@Xuepoo

@Xuepoo Xuepoo commented Oct 26, 2026

Copy link
Copy Markdown
Contributor

Advances the docs/ submodule gitlink to bitty-plugins-docs origin/main after today's documentation merges.

Pin Old New
docs faa17cab7c 518f947c11

Gitlink-only change applied with git update-index --cacheinfo 160000,<sha>,docs; the docs/ mount stays unpopulated and no tracked file other than the gitlink changes.

Gates

  • git diff --cached --stat — only the docs gitlink
  • git ls-tree HEAD docs — 160000 commit 518f947c11d71f9cf1f15d492f6c9e9b76838983
  • just fmt-check — pass (Prettier 3.9.6)
  • git diff --check — clean

CarryCtx task: CTX-0041

@Xuepoo Xuepoo added this to the v0.1.0 milestone Oct 26, 2026
@Xuepoo Xuepoo added chore Chore P1 Priority: high area:docs Documentation area labels Oct 26, 2026
@Xuepoo
Xuepoo merged commit 98f8a06 into main Oct 26, 2026
5 checks passed
@Xuepoo
Xuepoo deleted the ctx-0041/chore-docs-pin branch October 26, 2026 06:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:docs Documentation area chore Chore P1 Priority: high

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant