Christian Mäder 2b21e14c2c Check that develop is target in PR ...

This is an update to the PR template.
It mostly adds text and some checks related to how good the template
is filled in and whether the `develop` branch was selected as base.

2020-01-20 10:28:08 +01:00

..

ISSUE_TEMPLATE

Pull request template suggestion

2019-12-10 23:09:43 +01:00

workflows

Fix failing GH Action

2020-01-17 18:46:30 +01:00

pull_request_template.md

Check that develop is target in PR

2020-01-20 10:28:08 +01:00