infra/.github
2023-12-08 03:12:08 +00:00
..
workflows build(deps): bump actions/labeler from 4 to 5 2023-12-08 03:12:08 +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: update config for v5 2023-12-08 03:12:08 +00:00
settings.yml .github/settings.yml: switch to buildbot for required check 2023-11-04 08:16:09 +00:00