Richard Schneeman b9ed8444d3 [ci skip] Require Changelog at PR time (#1991) ... * [ci skip] Require Changelog at PR time We frequently forget to ask for a changelog entry, and then when we want to release the release maintainer has to go back and manually add them all. It would be better if the changelog was required at PR time so the original submitter can think of the best wording. If a PR is trivial people can add `[ci skip]` or `[changelog skip]`. This implementation uses github actions. * Use correct name of changelog file The changelog is History.md not CHANGELOG.md		2019-09-25 21:53:54 +02:00
..
check_changelog.yml	[ci skip] Require Changelog at PR time (#1991)	2019-09-25 21:53:54 +02:00
ruby.yml	Freeze all string literals in CI	2019-09-20 12:14:19 +02:00