3 Commits (e1faa787225cc29bbff807c46a8db60579246233)

Author	SHA1	Message	Date
Dag Wieers	b432faa395	Put the advice to the user as comments in the template ... Most issues include parts of the advice from the template, which adds noise to tickets. E.g. A lot of tickets include the text "Please pick one and delete the rest:" By adding the advice to the user as comments (<!--- comment -->) we achieve two important things: 1. The advice does not end up in the actual issue ticket or pull request 2. It is easier for the user to differentiate its own input and the original advice (And my help them to clean up the advice as well, which in fact is now no longer necessary)	9 years ago
Abhijit Menon-Sen	54cd2069e6	Use triple-backticks for verbatim output ... It's easier than indenting by four spaces, as @willthames points out.	9 years ago
Abhijit Menon-Sen	ff8b48ca65	Create a PULL_REQUEST_TEMPLATE ... Now that Github supports separate issue and PR templates, we can have a separate cut-down version for PRs without all the things we ask for in a new issue. The PR types are also removed from the ISSUE_TEMPLATE.	9 years ago