infra/bors.toml

cut_body_after = "" # don't include text from the PR body in the merge commit message
status = [
  "ci/hercules/derivations",
  "ci/hercules/effects",
  "ci/hercules/evaluation",
]
bors: fix merge commit message 2022-09-28 14:41:32 +10:00			`cut_body_after = "" # don't include text from the PR body in the merge commit message`
bors: add config 2022-09-25 07:24:40 +10:00			`status = [`
			`"ci/hercules/derivations",`
			`"ci/hercules/effects",`
			`"ci/hercules/evaluation",`
			`]`
No results found.