Fix mirror-repos update flag file handling
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".