lucene
lucene copied to clipboard
Create a bot to check if there is a CHANGES entry for new PRs
Description
We always have to remind ourselves and others to add a CHANGES entry. We can probably write a GitHub action to check for changes to that file on every new PR and leave a comment warning the author if that's missing.