From fe2c88907b683774fc0a9d24d611af614d5afb4c Mon Sep 17 00:00:00 2001 From: Brandon Simmons Date: Thu, 10 Jun 2021 13:48:55 -0400 Subject: [PATCH] ci: kodiak merge.message: include_pr_number and include_pull_request_url GitOrigin-RevId: 53fa1940366c8b45c6893a3a06d11448978d67e0 --- .kodiak.toml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.kodiak.toml b/.kodiak.toml index 030a76683fe..07ac6e09bb2 100644 --- a/.kodiak.toml +++ b/.kodiak.toml @@ -90,13 +90,15 @@ body = "pull_request_body" # default: "github_default", options: "github_default # Append the Pull Request URL to the merge message. Makes navigating to the PR # from the commit easier. -include_pull_request_url = false # default: false +#### NOTE: this required for benchmarks in CI: +include_pull_request_url = true # default: false # Add the PR number to the merge commit title. This setting replicates GitHub's # behavior of automatically adding the PR number to the title of merges created # through the UI. This option only applies when `merge.message.title` does not # equal `"github_default"`. -include_pr_number = false # default: true +#### NOTE: this required for benchmarks in CI: +include_pr_number = true # default: true # Control the text used in the merge commit. The GitHub default is markdown, but # `"plain_text"` or `"html"` can be used to render the pull request body as text