diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-17 15:34:05 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-17 15:48:00 +0200 |
| commit | 747377fbb9684bd2f5811b080bfbde1fedc59b6c (patch) | |
| tree | 9cce3eb5d40a58c4a612535f960ffe7df4a9f5e4 /clean/buildfile | |
| parent | 09770fb24073041464f1298b4833c51f028f062d (diff) | |
Cancel CI of the previous head commit in the case of overwritten or deleted
history.
In the process, move branch push handling from handle_check_suite_request() to
handle_branch_push() because GitHub sends a push event instead of a
check_suite when a new branch is created so tenant reference counting would
not work otherwise.
Diffstat (limited to 'clean/buildfile')
0 files changed, 0 insertions, 0 deletions