mirror of
https://github.com/element-hq/synapse.git
synced 2026-09-04 17:04:36 +00:00
Otherwise if you hit the `Enable auto-merge` button and the linting fails the PR is still aut-merged.
Otherwise if you hit the `Enable auto-merge` button and the linting fails the PR is still aut-merged.