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