Commit Graph

151 Commits

Author SHA1 Message Date
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