diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-13 16:07:14 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-17 14:51:11 +0200 |
| commit | 17d5a70735ae954ef6eefdc9190c6164440de312 (patch) | |
| tree | b1edb7e4cc5fba58bab53ed931d52d964cd769b5 /mod/mod-ci-github-gh.hxx | |
| parent | bcecc41a017f4f4ed46bbe0ab2decdffe53a2130 (diff) | |
ci-github: Handle branch deletions in handle_push_event()
Diffstat (limited to 'mod/mod-ci-github-gh.hxx')
| -rw-r--r-- | mod/mod-ci-github-gh.hxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mod/mod-ci-github-gh.hxx b/mod/mod-ci-github-gh.hxx index e5654ff..91f5bfe 100644 --- a/mod/mod-ci-github-gh.hxx +++ b/mod/mod-ci-github-gh.hxx @@ -241,6 +241,10 @@ namespace brep // bool forced; + // True if this was a branch deletion. + // + bool deleted; + gh_repository repository; gh_installation installation; |