3 commits

Author	SHA1	Message	Date
Lars Karlitski	985def36f3	.github: add checklist to PR template	2021-01-15 13:21:12 +01:00
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
Alexander Todorov	d5a22097b8	tests: Add notes for downstream testing ... also includes PR template to make this more visible to everyone!	2020-10-15 19:01:47 +01:00