Age | Commit message (Collapse) | Author |
|
Enough users have complained about the bug label not being applied instead. If there is no label applied
this won't be complained about so often.
|
|
For now, it only adds a link to the Discord server.
|
|
|
|
Co-authored-by: Marc Cornellà <marc.cornella@live.com>
Co-authored-by: Bartek Pacia <barpac02@gmail.com>
|
|
|
|
https://help.github.com/en/github/creating-cloning-and-archiving-repositories/about-code-owners
|
|
Closes #8471
|
|
|
|
The published workflow tests the installer and checks the syntax of known zsh files
in the project.
Co-authored-by: Marc Cornellà <marc.cornella@live.com>
|
|
People sometimes use the bug report template for things that are support.
Maintainers will confirm whether it's a bug with the appropriate label.
|
|
We do this because the GitHub Actions behavior was changed recently
so as to not pass secrets to action runs started from forks, therefore
the API token passed cannot be used to change PR labels.
There may be an alternative in the future.
|
|
|
|
Provisional measure due to "Unexpected value 'if'" error. See https://github.community/t5/GitHub-API-Development-and/jobs-lt-job-id-gt-if-not-working/m-p/28980
|
|
|
|
|
|
|
|
This commit adds the following issue categories:
- Bug report
- Feature request
- Support
|
|
|