infra/.github
2023-09-29 23:31:07 +00:00
..
workflows .github/workflows/flake-updates.yml: disable automerge 2023-09-29 23:31:07 +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