Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
If the 'automerge' label is added to the PR, This tool automatically merges the PR once it has all the necessary approvals. This is useful for trivial PRs such as #1443 which are in an endless cycle of bringing the branch up to date. Signed-off-by: Ryan O'Leary <ryanoleary@google.com>
- Loading branch information