jackpoz
89cfced1b5
CI/GitHub: Apply branch label to PRs when they are opened
...
Apply branch label to PRs when they are opened instead of having a cron job that runs every 5 minutes. This uses the "new" github action type "pull_request_target"
2020-12-26 14:02:14 +01:00
jackpoz
ebb6f12db8
CI/GitHub: Add another Pull Request labeler as cron job
2020-05-23 23:22:54 +02:00
jackpoz
59e8b98bef
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
2020-05-23 18:43:28 +02:00
jackpoz
58013167de
CI/GitHub: Rename jobs
2020-05-23 17:56:59 +02:00
jackpoz
0435ecc8f5
CI/GitHub: Fix github actions syntax
2020-05-22 13:28:57 +02:00
jackpoz
92a289e455
CI/GitHub: Add action to label pull requests
2020-05-21 16:43:42 +02:00
