Skip to content

chore(docs): update score_docs_as_code gitignore configuration - #43

Open
eclipse-score-bot wants to merge 1 commit into
mainfrom
repo-policy-sync/docs-as-code-gitignore
Open

eclipse-score-bot wants to merge 1 commit into
mainfrom
repo-policy-sync/docs-as-code-gitignore

Conversation

@eclipse-score-bot

@eclipse-score-bot eclipse-score-bot commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor

Policy

docs-as-code-gitignore

Update the .gitignore configuration for score_docs_as_code.

Why this repository?

This repository matches this policy because MODULE.bazel matches every required module name through either a direct Bazel dependency or this repository's own module declaration: score_docs_as_code.

Changes

  • .gitignore: synchronize managed block
    • Keep documentation build artifacts together in one managed block.

Tool revision

Generated from eclipse-score/tools at commit a1e69fa.


This pull request is managed by SCORE Repository Policy Sync and may be updated by a later policy run.
Please report any issues to #score-infrastructure.

Note

This pull request is generated automatically. Review the proposed changes
before merging.

@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/docs-as-code-gitignore branch from b20097f to ed1bec7 Compare November 2, 2026 09:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant