CI/CD #33
Description
Regarless of whether the repository is migrated to GitHub pages or not, this repository would benefit from some basic CI things like code linters and PR labelers.
The repository also needs a CODEOWNERS file.
{{ message }}
Regarless of whether the repository is migrated to GitHub pages or not, this repository would benefit from some basic CI things like code linters and PR labelers.
The repository also needs a CODEOWNERS file.