diff options
author | Thom May <thom@may.lt> | 2018-05-04 11:48:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-04 11:48:47 +0100 |
commit | 474286255187bfba92b106bc44a4faaee8fff507 (patch) | |
tree | 555ea0076107072eec6c99498bc5b861d5938fa3 | |
parent | 92e03cdd565adb06f28bbf1a978a2be1d74e1830 (diff) | |
parent | 4adfebd024717e0b548ae10302900e3bde9bf315 (diff) | |
download | chef-474286255187bfba92b106bc44a4faaee8fff507.tar.gz |
Merge pull request #7221 from chef/jsinha/enable-Ubuntu-18
Enable Expeditor PR branch deletion feature
-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. |