Dimitri Huisman c829cd90a0 Adapt mirror.yml that it can only be run manually ...

When starting it manually, you can provide the tag that must be synchronised

2023-03-28 21:02:57 +02:00

..

workflows

Adapt mirror.yml that it can only be run manually

2023-03-28 21:02:57 +02:00

FUNDING.yml

Create FUNDING.yml

2019-10-21 12:04:21 +03:00

stale.yml

Update stale bot with clearer message why an issue is marked stale.

2021-11-23 18:20:35 +00:00