2 commits

Author	SHA1	Message	Date
Jakub Beránek	cdeeed8dec	Increase timeout for new bors bot	2024-03-13 08:31:07 +01:00
Jakub Beránek	be50413ef0	Add integration for new bors	2023-09-28 10:43:24 +02:00