added the needs-ci

PRs that need a full CI run.

label

Apr 11, 2023

anonrig added commit-queue-squash

Add this label to instruct the Commit Queue to squash all the PR commits into the first one.

request-ci

Add this label to start a Jenkins CI on a PR.

labels

Apr 12, 2023

aduh95 added author ready

PRs that have at least one approval, no pending requests for changes, and a CI started.

commit-queue

Add this label to land a pull request using GitHub Actions.

labels

Apr 14, 2023