Skip to content

Enforce revision_history update#1099

Open
datenreisender wants to merge 1 commit intomainfrom
push-zlwuyylnnpqv
Open

Enforce revision_history update#1099
datenreisender wants to merge 1 commit intomainfrom
push-zlwuyylnnpqv

Conversation

@datenreisender
Copy link
Contributor

@datenreisender datenreisender commented Feb 20, 2026

Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This pull request adds a new GitHub Actions workflow step to enforce that the documentation revision history file (doc/docs/revision_history.yml) is updated whenever documentation files under doc/docs/ are modified in a pull request. The step can be bypassed by adding a 'no doc revision history' label to the PR.

Changes:

  • Added a new workflow step "Enforce revision_history update when docs change" to the build-app.yml reusable workflow
  • The step checks if documentation files were changed and fails the workflow if revision_history.yml wasn't updated
  • Provides an escape hatch via the 'no doc revision history' label

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

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.

2 participants