Commit Graph

6 Commits

Author SHA1 Message Date
Eric Cornelissen
79a5a08dc2
Set up automated labeling (#3724) 2020-10-15 14:10:07 +02:00
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