You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Saúl Ibarra Corretgé eb3295cedd fix(ci) fix checking if the git repository is clean 3 years ago
..
ISSUE_TEMPLATE feat(misc) automatically assign feature-request tag to issues 3 years ago
workflows fix(ci) fix checking if the git repository is clean 3 years ago
PULL_REQUEST_TEMPLATE.md doc,gh: add pull request template 4 years ago
stale.yml misc: add stale bot to close stalled issues and PRs 5 years ago