mirror of
https://github.com/zebrajr/pytorch.git
synced 2025-12-06 12:20:52 +01:00
Better needs label error message (#101747)
As suggested in https://github.com/pytorch/pytorch/issues/101694 Pull Request resolved: https://github.com/pytorch/pytorch/pull/101747 Approved by: https://github.com/malfet, https://github.com/zou3519
This commit is contained in:
parent
8b751b41c0
commit
a33ac44540
2
.github/scripts/label_utils.py
vendored
2
.github/scripts/label_utils.py
vendored
|
|
@ -15,7 +15,7 @@ if TYPE_CHECKING:
|
|||
|
||||
BOT_AUTHORS = ["github-actions", "pytorchmergebot", "pytorch-bot"]
|
||||
|
||||
LABEL_ERR_MSG_TITLE = "This PR needs a label"
|
||||
LABEL_ERR_MSG_TITLE = "This PR needs a `release notes:` label"
|
||||
LABEL_ERR_MSG = f"""# {LABEL_ERR_MSG_TITLE}
|
||||
If your changes are user facing and intended to be a part of release notes, please use a label starting with `release notes:`.
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user