Skip to content

Conversation

@cpoerschke
Copy link
Contributor

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 23, 2025
@cpoerschke cpoerschke marked this pull request as ready for review October 23, 2025 14:28

* **Audience** is end-users and administrators, not committers.
* If the change is super minor, like a typo, don't bother adding a yaml file
* If the change is super minor, like a typo, don't bother adding a yaml file.
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Need one add a special label to the PR or mention a specific word in the PR description to pacify the CI w.r.t. changelog entry absence?

Copy link
Contributor

Choose a reason for hiding this comment

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

There is a PR label. But one can still merge even if that check fails.

Q: Can contributors set labels on their own PR?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants