Commit Graph

3 Commits

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