Commit graph

3 commits

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