Commit Graph

2 Commits

Author SHA1 Message Date
Jörg Thalheim c056352c4c fix mergify configuration 2024-04-23 11:19:54 +02:00
Jörg Thalheim b0f82bcf52 replace bors with mergify
bors no longer works for merge queues.
2023-09-18 10:57:17 +02:00