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 e7eb416.


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 4 times, most recently from 1dc555a to c0188d4 Compare November 4, 2026 00:49
@eclipse-score-bot
eclipse-score-bot force-pushed the repo-policy-sync/docs-as-code-gitignore branch from c0188d4 to a84f8c2 Compare November 6, 2026 00:49
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