mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-01-12 01:20:26 +00:00
If the files don't exist, then they can't have errors, so skip checking. Change-Id: I3ed4be4912b253c5454df41d690cb33dfe191289 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/540003 Reviewed-by: Gavin Mak <gavinmak@google.com> Tested-by: Mike Frysinger <vapier@google.com> Commit-Queue: Mike Frysinger <vapier@google.com>
These are helper tools for managing official releases. See the release process document for more details.