mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-09-11 10:46:25 +03:00
ci: kodiak merge.message: include_pr_number and include_pull_request_url
GitOrigin-RevId: 53fa1940366c8b45c6893a3a06d11448978d67e0
This commit is contained in:
parent
90f9806c99
commit
fe2c88907b
@ -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
|
# Append the Pull Request URL to the merge message. Makes navigating to the PR
|
||||||
# from the commit easier.
|
# 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
|
# 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
|
# 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
|
# through the UI. This option only applies when `merge.message.title` does not
|
||||||
# equal `"github_default"`.
|
# 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
|
# 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
|
# `"plain_text"` or `"html"` can be used to render the pull request body as text
|
||||||
|
Loading…
Reference in New Issue
Block a user