3 Commits

Author	SHA1	Message	Date
zowoq	7a5f6d8ff5	dev flake ... This allows us to have private dev inputs that we can use in the main flake and move the github actions checks to buildbot.	2024-01-14 09:08:22 +10:00
zowoq	39d0701c13	ci: use mergify merge queue	2023-11-06 09:15:04 +01:00
Jörg Thalheim	46869afd5a	add mergify	2023-07-06 06:51:35 +02:00