2 commits

Author	SHA1	Message	Date
Hugo van Kemenade	43971c05fd	Also require GHA lint ... The checks show up like this: Lint / build (pull_request) Lint / build (push) And the condition needs to match the job name, "build". https://doc.mergify.io/conditions.html#github-actions TODO: rename "build"->"lint" in lint.yml	2020-06-25 21:09:46 +03:00
Hugo van Kemenade	7c42504d68	Mergify: configuration update	2020-06-25 21:05:40 +03:00