Issue templates #489
StevenClontz
started this conversation in
Ideas
Issue templates
#489
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
I've created an issue template at https://github.com/pi-base/data/blob/main/.github/ISSUE_TEMPLATE/new-theorem-suggestion.md that will prompt contributors opening an issue to provide info on a new theorem they would like to see in the pi-Base. Feedback? Ideas for other templates?
All reactions