mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-09-11 10:46:25 +03:00
updates kodiak bot settings
* init kodiak bot configuration * adds kodiak commit message to PR body GitOrigin-RevId: 58b0033be2ac9c0c757319a1a5f735e53f08307b
This commit is contained in:
parent
2dfbf99b41
commit
d552f12707
14
.kodiak.toml
14
.kodiak.toml
@ -83,17 +83,17 @@ title = "pull_request_title" # default: "github_default", options: "github_defau
|
|||||||
# to create the body text of a merge commit. `"pull_request_body"` uses the
|
# to create the body text of a merge commit. `"pull_request_body"` uses the
|
||||||
# content of the PR to generate the body content while `"empty"` sets an empty
|
# content of the PR to generate the body content while `"empty"` sets an empty
|
||||||
# body.
|
# body.
|
||||||
body = "empty" # default: "github_default", options: "github_default", "pull_request_body", "empty"
|
body = "pull_request_body" # default: "github_default", options: "github_default", "pull_request_body", "empty"
|
||||||
|
|
||||||
# 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 = true # default: false
|
include_pull_request_url = false # 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 = true # default: true
|
include_pr_number = false # 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
|
||||||
@ -104,7 +104,13 @@ body_type = "markdown" # default: "markdown", options: "plain_text", "markdown",
|
|||||||
# Strip HTML comments (`<!-- some HTML comment -->`) from merge commit body.
|
# Strip HTML comments (`<!-- some HTML comment -->`) from merge commit body.
|
||||||
# This setting is useful for stripping HTML comments created by PR templates.
|
# This setting is useful for stripping HTML comments created by PR templates.
|
||||||
# This option only applies when `merge.message.body_type = "markdown"`.
|
# This option only applies when `merge.message.body_type = "markdown"`.
|
||||||
strip_html_comments = false # default: false
|
strip_html_comments = true # default: false
|
||||||
|
|
||||||
|
# Remove all content before the configured string in the pull request body.
|
||||||
|
# This setting is useful when we want to include only a part of the pull request
|
||||||
|
# description as the commit message.
|
||||||
|
# This option only applies when `merge.message.body_type = "markdown"`.
|
||||||
|
cut_body_before = "<!-- kodiak-commit-message-body-start: do not remove/edit this line -->"
|
||||||
|
|
||||||
[update]
|
[update]
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user