Avi Kivity 9f512509c7 github: remove github pull request template (#4833) ...

Since we do accept pull requests (in a long-running experiment), the
pull request template suggesting not to use them is inaccurate, and
many requesters forget to remove the boilerplace.

Remove the outdate template.

2019-08-14 09:28:39 +03:00

..

ISSUE_TEMPLATE.md

github: direct users asking questions to our mailing list.

2018-06-21 17:43:23 +03:00