Fabian Homborg 6669240f81 Automatically lock closed issues/prs after 90 days ...

We've been getting a bunch of comments on old closed issues. Instead
people should create new ones.

This adds a github "workflow" that should lock closed issues/prs after
90 days, except those labelled "question".

Let's see how it works out.

2020-04-16 18:54:38 +02:00

..

workflows

Automatically lock closed issues/prs after 90 days

2020-04-16 18:54:38 +02:00

ISSUE_TEMPLATE.md

ISSUE_TEMPLATE: Remove regression question

2019-05-30 18:49:50 +02:00

PULL_REQUEST_TEMPLATE.md

Fix PR template typo

2017-02-05 10:39:51 -08:00