Labels

7 labels

dependencies
dependencies
Pull requests that update a dependency file
doc not required
doc not required
All PRs either need "doc required" or "doc not required".
doc required
doc required
This PR includes user-facing changes that need to be documented.
documentation
documentation
Improvements or additions to documentation.
no doc revision history
no doc revision history
Even if this change includes docs, no update to the doc revision history is needed.
ui not required
ui not required
All PRs either need "ui required" or "ui not required".
ui required
ui required
All PRs either need "ui required" or "ui not required".