mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-10-26 10:20:54 +03:00
ci: kodiak.toml comment tweak (#1548)
https://github.com/hasura/graphql-engine-mono/pull/1548 GitOrigin-RevId: 25c5a0b523d07771c5e7db72ba9edf51ae7d95fd
This commit is contained in:
parent
5105cba829
commit
4065d807a8
@ -90,14 +90,14 @@ 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.
|
||||
#### NOTE: this required for benchmarks in CI:
|
||||
#### NOTE: 'true' 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"`.
|
||||
#### NOTE: this required for benchmarks in CI:
|
||||
#### NOTE: 'true' 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
|
||||
|
Loading…
Reference in New Issue
Block a user