Skip to content

Fix mirror-repos update flag file handling

Ahmon Dancy requested to merge main-I065cc056915e60442b1177e88b37401c22e1777f into main

Ensure that mirror-repos.py and update-repos work together
properly when the host user uid does not match the one use in the
gerrit container. Instead of using the existence of the .updated
file to indicate "updated", use the size of the file. Non-zero means
"updated", zero means "not updated".

Merge request reports