The pull request template has a checkbox that discusses the build_docs label, which triggers the documentation to be built. This is the behavior for TARDIS, but on STARDIS, the build_docs label is not available.
There is a documentation label, but there might be value in keeping the labels somewhat consistent with each other, which is to say add a build_docs label in STARDIS.
I'm creating this issue as a way to get others' opinions.
To Reproduce
For any pull request in the tarid-sn/stardis repo, build_docs is not available. To reproduce this behavior, create a new draft pull request and try to add the build_docs label.
Describe the bug
The pull request template has a checkbox that discusses the
build_docslabel, which triggers the documentation to be built. This is the behavior for TARDIS, but on STARDIS, thebuild_docslabel is not available.There is a
documentationlabel, but there might be value in keeping the labels somewhat consistent with each other, which is to say add abuild_docslabel in STARDIS.I'm creating this issue as a way to get others' opinions.
To Reproduce
For any pull request in the tarid-sn/stardis repo,
build_docsis not available. To reproduce this behavior, create a new draft pull request and try to add thebuild_docslabel.Screenshots
System
github.com