diff options
| author | jackpoz <giacomopoz@gmail.com> | 2020-12-26 14:02:14 +0100 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2020-12-26 14:04:20 +0100 |
| commit | e8b78acbee35b63f4f19fdcfdf4915cf9d784b27 (patch) | |
| tree | 7af73b6fa08f7602c523e68a0ba6556471168dc0 /src | |
| parent | bb94aec9759f05f7d4c91b7e2c5288c302897b3a (diff) | |
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"
(cherry picked from commit 89cfced1b568e8807ab71f7da0e3ffc5cdc10ce7)
# Conflicts:
# .github/workflows/pr-labeler.yml
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions