diff options
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; |