Christian Duerr c566f78c3e Remove the GitHub pull request template ... The template itself never provided much of a benefit and just causes additional work for every single PR that is opened. That makes it easier to just remind people after the PR was created than putting it in the description so contributors always have to remove it.		2021-01-07 05:32:06 +00:00
..
workflows	Fix CI upload assets tag matching	2020-11-25 01:31:21 +00:00
ISSUE_TEMPLATE.md	Remove Windows WinPTY backend	2021-01-01 05:07:39 +00:00