summaryrefslogtreecommitdiff
path: root/.expeditor
diff options
context:
space:
mode:
authorJaymala Sinha <jsinha@chef.io>2018-05-03 17:26:15 -0400
committerJaymala Sinha <jsinha@chef.io>2018-05-03 17:26:15 -0400
commit4adfebd024717e0b548ae10302900e3bde9bf315 (patch)
tree555ea0076107072eec6c99498bc5b861d5938fa3 /.expeditor
parent92e03cdd565adb06f28bbf1a978a2be1d74e1830 (diff)
downloadchef-4adfebd024717e0b548ae10302900e3bde9bf315.tar.gz
Enable Ubuntu 18.04 packages and expeditor branch deletion featurejsinha/enable-Ubuntu-18
* Add Ubuntu 18.04 testers * Enable auto deletion of PR branch after merge Signed-off-by: Jaymala Sinha <jsinha@chef.io>
Diffstat (limited to '.expeditor')
-rw-r--r--.expeditor/config.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/.expeditor/config.yml b/.expeditor/config.yml
index 948321589e..9bdabf7510 100644
--- a/.expeditor/config.yml
+++ b/.expeditor/config.yml
@@ -25,6 +25,8 @@ github:
# The file where our CHANGELOG is kept. This file is updated automatically with
# details from the Pull Request via the `built_in:update_changelog` merge_action.
changelog_file: "CHANGELOG.md"
+ # This deletes the GitHub PR branch after successfully merged into the release branch
+ delete_branch_on_merge: true
# The tag format to use (e.g. v1.0.0)
version_tag_format: "v{{version}}"
# The Github Team primarily responsible for handling incoming Pull Requests.