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