Skip to content

Conversation

@jorisv
Copy link
Contributor

@jorisv jorisv commented Nov 14, 2023

Check if a changelog if updated before allowing a merge request

@jcarpent jcarpent enabled auto-merge November 14, 2023 13:02
Copy link
Contributor

@nim65s nim65s left a comment

Choose a reason for hiding this comment

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

Good idea, but I guess you should start to show an example, by updating the CHANGELOG in this PR then :)

@jcarpent jcarpent merged commit 987f2af into stack-of-tasks:devel Nov 14, 2023
@jorisv jorisv deleted the topic/check_changelog branch July 23, 2024 12:53
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.

3 participants