infra/.github
2023-08-08 11:33:27 +00:00
..
workflows devdoc/repo_list: drop markdown extension 2023-08-08 11:33:27 +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