zowoq efeb2ce042 Revert "switch to mergify" ... This reverts commit 6b948a13c8. doesn't currently work with github merge queue		2023-07-03 03:21:21 +00:00
..
workflows	Revert "switch to mergify"	2023-07-03 03:21:21 +00:00
CONTRIBUTING.md	drop bors, switch to merge queue	2023-05-07 00:49:02 +00:00
dependabot.yml	add dependabot for github action updates	2020-11-25 11:21:33 +01:00
labeler.yml	.github/labeler.yml: add secret file in repo root	2023-06-04 21:44:43 +00:00
settings.yml	Revert "switch to mergify"	2023-07-03 03:21:21 +00:00