mergify: update bot name

This commit is contained in:
Jörg Thalheim 2022-05-29 13:37:01 +02:00
parent c84fb00777
commit 6dbc942fea
No known key found for this signature in database

View file

@ -2,7 +2,7 @@ pull_request_rules:
- name: automatic merge on CI success
conditions:
- check-success=tests (ubuntu-latest)
- author=nix-eval-jobs-bot
- author=nix-direnv-bot
actions:
merge:
method: merge