Martin von Zweigbergk 384aa95901 github: update PR template to explain expectations ... I think I got the current template from Google's open-sourcing process, but I don't care about most of it (GitHub actions already check that tests pass, for example). Let's instead tell contributors that they don't need to write anything at all there and that they should describe the changes in the commit message(s) instead.		2022-03-02 08:11:31 -08:00
..
workflows	ci: add Clippy stable check	2022-02-23 23:41:55 -08:00
ISSUE_TEMPLATE.md	github: put repro steps first in issue template	2022-03-01 23:25:41 -08:00
PULL_REQUEST_TEMPLATE.md	github: update PR template to explain expectations	2022-03-02 08:11:31 -08:00