Jubilee Young e4cdd15b21 Add issue templates ... The main purpose of these is to offer rerouting where rerouting is appropriate. Mostly derived from existing examples in rust-lang/rust.		2021-02-02 17:23:23 -08:00
..
ISSUE_TEMPLATE	Add issue templates	2021-02-02 17:23:23 -08:00
workflows	Switch docs deploy to GITHUB_TOKEN	2020-12-28 23:48:18 -05:00
PULL_REQUEST_TEMPLATE.md	Offer a checklist for math PRs	2020-10-01 19:50:49 -07:00