Josh Triplett c1a5a4c6b2 Make bors ignore the PR template so it doesn't end up in merge messages		2022-01-06 12:24:12 -08:00
..
ISSUE_TEMPLATE	Mention forum and zulip in feature-request issue template	2021-12-16 18:53:06 +08:00
workflows	Fix CI testing	2021-10-22 13:30:46 -07:00
dependabot.yml	Upgrade to GitHub-native Dependabot	2021-04-28 21:38:01 +00:00
PULL_REQUEST_TEMPLATE.md	Make bors ignore the PR template so it doesn't end up in merge messages	2022-01-06 12:24:12 -08:00