Closed pre-commit-ci[bot] closed 1 year ago
The following are automatically added:
Available user actions:
/verified
to a PR comment, to un-verify add /verified cancel
to a PR comment.
verified label removed on each new commit push./cherry-pick <target branch to cherry-pick to>
to a PR comment.
/<label name>
, to remove, use /<label name> cancel
/verified
/lgtm
updates: