Commit graph

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