Reinhard Nägele f4d748db38 Update pull request template (#4087) ...

* Wrap general directions into an HTML comment so they are
  not visible in the PR if the user doesn't delete them
* Add template for information a user is supposed to provide
  in order to avoid getting empty descriptions
* Add note on CircleCI

2018-03-12 03:26:11 -07:00

..

ISSUE_TEMPLATE.md

Add GitHub issues template to guide users (#1155)

2017-05-26 09:26:01 +01:00

PULL_REQUEST_TEMPLATE.md

Update pull request template (#4087)

2018-03-12 03:26:11 -07:00