Lars Karlitski 7a5790d6b7 .github: move text in the PR template into a comment ... The majority of pull requests do not fix a downstream issue. In practice, people usually delete the whole suggested content. Move it into a comment, so that this step is unnecessary.		2021-01-15 13:21:12 +01:00
..
workflows	.github: switch to ubuntu-20.04	2020-11-19 11:58:56 +01:00
PULL_REQUEST_TEMPLATE.md	.github: move text in the PR template into a comment	2021-01-15 13:21:12 +01:00