Skip to content

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

Merged
AlexanderLanin merged 1 commit into
mainfrom
repo-policy-sync/docs-as-code-gitignore
Oct 2, 2026
Merged

AlexanderLanin merged 1 commit into
mainfrom
repo-policy-sync/docs-as-code-gitignore

Conversation

@eclipse-score-bot

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 4a0ff76.


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.

@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown
Contributor

Documentation preview for this pull request is available at:
pr-900: https://eclipse-score.github.io/docs-as-code/pr-900/

@AlexanderLanin
AlexanderLanin merged commit f7ed541 into main Oct 2, 2026
35 checks passed
@AlexanderLanin
AlexanderLanin deleted the repo-policy-sync/docs-as-code-gitignore branch October 2, 2026 19:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Development

Successfully merging this pull request may close these issues.

2 participants