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
..
pull_requests.yml	Use GitHub Actions to automatically label Pull Requests (#2420)	2020-01-22 00:53:26 +01:00