summaryrefslogtreecommitdiff
path: root/.expeditor/config.yml
diff options
context:
space:
mode:
Diffstat (limited to '.expeditor/config.yml')
-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.