Olaoluwa Osuntokun 2f16997a98 build: add PR stats to github workflow ...

In this PR, we introduce a new Github work flow tool that should help us
keep better track fo reviewer load across the proejct. Ideally this can
also be used as a tool to help new PRs find a reviewer, and also for us
to better balance out review load, and keep track of how long it takes
to do PR turnaround.

2022-10-05 13:18:02 -07:00

..

ISSUE_TEMPLATE

GitHub: add link to discussions [skip ci]

2022-10-03 18:41:36 +02:00

workflows

build: add PR stats to github workflow

2022-10-05 13:18:02 -07:00

pull_request_template.md

github: simplify PR template and add more sections [skip ci]

2022-01-28 09:50:02 +02:00