diff options
author | Jaymala Sinha <jsinha@chef.io> | 2018-05-03 17:26:15 -0400 |
---|---|---|
committer | Jaymala Sinha <jsinha@chef.io> | 2018-05-03 17:26:15 -0400 |
commit | 4adfebd024717e0b548ae10302900e3bde9bf315 (patch) | |
tree | 555ea0076107072eec6c99498bc5b861d5938fa3 /.expeditor | |
parent | 92e03cdd565adb06f28bbf1a978a2be1d74e1830 (diff) | |
download | chef-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.yml | 2 |
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. |