5 Commits

Author	SHA1	Message	Date
Eric Cornelisesn	8b3b7a09aa	Reduce number of PR review GH Actions runs	2020-07-14 21:09:04 +03:00
Eric Cornelisesn	eb6c199f4e	Run release action on PR reviews	2020-06-16 21:49:44 +03:00
Eric Cornelisesn	073688160b	Set up automated releases with GitHub Actions	2020-04-24 14:54:23 +03:00
Eric Cornelissen	5ae7980cd9	Revert the introduction of a GitHub Actions to automatically label Pull Requests	2020-01-22 15:33:25 +02:00
Eric Cornelissen	f357ac73f3	Use GitHub Actions to automatically label Pull Requests (#2420) ... * Add workflow file to run PR labeler and corresponding configuration file I'm using my personal fork of https://github.com/actions/labeler because I could not any labeling action that checked whether a file was added or changed (or removed). * Fix typo in Labeler action configuration file	2020-01-22 00:53:26 +01:00