Martin Sehnoutka 6ed4c59010 github: mention the guides in the pull request template ... The template mentioned only "adequate" documentation which can be interpreted in many ways. Mention the news/unreleased directory and the guides explicitly and include links for convenience.		2021-04-02 14:13:40 +02:00
..
workflows	github: run workflows on PR head commit	2021-03-17 00:15:13 +00:00
PULL_REQUEST_TEMPLATE.md	github: mention the guides in the pull request template	2021-04-02 14:13:40 +02:00