mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
1c838475ec
Drop a check in `check-conventions` that would mark commits as WIP if
they began with a parenthesis character (`([{`).