diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-01-16 09:42:03 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-16 09:42:03 +0000 |
| commit | 08a454c3cbad3bac2f0a027f5419d36b75cb6fc1 (patch) | |
| tree | 4aa24ae6b5501d99414e90f4977312e3d1ef5dfa /bors.toml | |
| parent | 310ea45a5a075c393fd10716817a0fa1ed372db5 (diff) | |
| parent | 1f17c1eaf9ef4190517d93c006c91ec8b6c60cea (diff) | |
Merge #138
138: Fix gitlint configuration: Disallow cleanup commits r=TheNeikos a=matthiasbeyer
Found that gitlint isn't properly configured, so I fixed it in this PR.
This PR also removes the fixup-check CI job, as gitlint does check this with the new configuration.
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to 'bors.toml')
| -rw-r--r-- | bors.toml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -12,7 +12,6 @@ pr_status = [ # Github Actions "license", "dco-check", - "fixup-check", ] update_base_for_deletes = true cut_body_after = "<details>" |