diff options
| author | Gavin Mak <gavinmak@google.com> | 2023-08-22 03:10:01 +0000 |
|---|---|---|
| committer | LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> | 2023-08-22 17:13:43 +0000 |
| commit | 321b7934b5e8e316b7fa4dc306e055d3d6d351ff (patch) | |
| tree | d05109fa2394c764ab13d9bbe7937eead3342550 /release/update_manpages.py | |
| parent | 5a3a5f7cec40c70d8c5ceb473f828e1149724962 (diff) | |
| download | git-repo-321b7934b5e8e316b7fa4dc306e055d3d6d351ff.tar.gz | |
sync: Ignore repo project when checking partial syncs
The repo project is fetched at most once a day and should be ignored
when checking if the tree is partially synced.
Bug: b/286126621, b/271507654
Change-Id: I684ed1669c3b3b9605162f8cc9d57185bb3dfe8e
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/383494
Commit-Queue: Gavin Mak <gavinmak@google.com>
Tested-by: Gavin Mak <gavinmak@google.com>
Reviewed-by: Josip Sokcevic <sokcevic@google.com>
Diffstat (limited to 'release/update_manpages.py')
0 files changed, 0 insertions, 0 deletions