Pull Request Labels for Documentation-related pull requests

[smokestacklightnin]

Describe the bug

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.

Screenshots

System

github.com