Skip to content

Ignore local documentation directory - #19

Merged
ryanbarlow97 merged 1 commit into
mainfrom
chore/ignore-local-docs
Sep 23, 2026
Merged

ryanbarlow97 merged 1 commit into
mainfrom
chore/ignore-local-docs

Conversation

@ryanbarlow97

Copy link
Copy Markdown
Contributor

Ignore the root docs/ directory so local technical manuals are not accidentally committed to plugin source repositories. Shared technical documentation is maintained in TF-Minecraft/Docs.

Validation: reviewed the three-line .gitignore addition, ran git diff --check, and verified git check-ignore --no-index ignores both direct and nested files under root docs/ while leaving README and runtime configuration paths unaffected. No runtime or build configuration changes.

@ryanbarlow97
ryanbarlow97 merged commit b6ef8b0 into main Sep 23, 2026
1 check passed
@ryanbarlow97
ryanbarlow97 deleted the chore/ignore-local-docs branch September 23, 2026 16:28
ryanbarlow97 added a commit that referenced this pull request Sep 24, 2026
The setup-plugins action was pinned to 4f7a354, the head of TLibs PR #19,
which is not on any TLibs branch. Pin it to 8ef41de on TLibs main. The
action is unchanged; its installer catalogue now also lists GemInfusion.

Drop -P'!deploy-live'. No POM defines a deploy-live profile, so the flag
does nothing.

Co-authored-by: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
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