diff options
| author | jackpoz <giacomopoz@gmail.com> | 2020-12-26 14:02:14 +0100 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2020-12-26 14:02:14 +0100 |
| commit | 89cfced1b568e8807ab71f7da0e3ffc5cdc10ce7 (patch) | |
| tree | c8aef4b69dc38819a1e9ccf305f9504a648e6508 /src/common/Banner.h | |
| parent | e530105abe3398e45d95f81ef85af6ffc7e6b47a (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"
Diffstat (limited to 'src/common/Banner.h')
0 files changed, 0 insertions, 0 deletions