jackpoz cbd6c89822 CI/GitHub: Remove PR GitHub Action because of current limitations ...

GitHub Actions triggered when creating a Pull Request receive a read-only token that makes them useless when trying to do anything on GitHub.
Useful links:
- https://github.com/actions/first-interaction/issues/10
- https://github.com/actions/labeler/issues/12
- https://github.com/actions/labeler#pull-request-labeler

(cherry picked from commit 59e8b98bef)

2020-05-23 18:44:18 +02:00

..

issue-labeler.yml

CI/GitHub: Add action to label issues

2020-05-23 18:15:28 +02:00