Jakub Kaspar 544bcb9ea5 Cherry pick CI and infra changes from development to apply to master

2020-03-20 18:52:38 +01:00

..

workflows

Cherry pick CI and infra changes from development to apply to master

2020-03-20 18:52:38 +01:00

issue_template.md

Rewrite issue template to a HTML comment

2018-06-01 17:47:52 +02:00

pull_request_template.md

Use HTML comments to clear up the PR template

2017-10-26 08:35:23 +02:00

stale.yml

Setup stale to close issues

2018-06-13 17:55:17 -05:00