5 commits

Author	SHA1	Message	Date
Jörg Thalheim	15c3e00913	mergify: merge in batches of 5	2024-08-19 13:10:42 +02:00
Jörg Thalheim	70e7e3fa14	update mergify	2024-08-19 11:07:30 +02:00
Jörg Thalheim	0cf592f520	add new tests to mergify configuration	2024-06-23 14:01:12 +02:00
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