Commit Graph

1 Commits

Author SHA1 Message Date
Jörg Thalheim b0f82bcf52 replace bors with mergify
bors no longer works for merge queues.
2023-09-18 10:57:17 +02:00