diff options
| author | Erik Johnston <erikj@element.io> | 2024-01-10 13:53:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-10 13:53:44 +0000 |
| commit | 72e9b74bbfa7086e47f05271e5a2f86ad8408370 (patch) | |
| tree | e0947a496bfd9b72bf48eef15aa564cb0ac72c0f /changelog.d/16781.misc | |
| parent | Remove CI check for sign off (#16776) (diff) | |
| download | synapse-72e9b74bbfa7086e47f05271e5a2f86ad8408370.tar.xz | |
Fix auto-merge CI to correctly wait for linting. (#16781)
Otherwise if you hit the `Enable auto-merge` button and the linting fails the PR is still aut-merged.
Diffstat (limited to '')
| -rw-r--r-- | changelog.d/16781.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/16781.misc b/changelog.d/16781.misc new file mode 100644 index 0000000000..2f628dc5cb --- /dev/null +++ b/changelog.d/16781.misc @@ -0,0 +1 @@ +Ensure CI fails when linting fails to make sure auto-merge does the correct thing. |