Marko 9149ee7d8b lint: various fixes ...

## Description

various linitng fixes

2020-05-18 10:20:06 +00:00

..

ISSUE_TEMPLATE

github: edit templates for use in issues and pull requests (#4483)

2020-02-27 11:34:56 +01:00

workflows

lint: various fixes

2020-05-18 10:20:06 +00:00

auto-comment.yml

.github: fix whitespace for auto-comment (#4750)

2020-04-28 14:12:53 +02:00

CODEOWNERS

stale bot (#4049)

2019-10-10 09:43:20 -05:00

PULL_REQUEST_TEMPLATE.md

.github: move checklist from PR description into an auto-comment (#4745)

2020-04-27 12:30:04 +02:00

stale.yml

stale bot (#4049)

2019-10-10 09:43:20 -05:00