Learn more about these different git repos.
Other Git URLs
f920d5d
- take account of the fact that the sync status can now change orthogonally to machine liveness (e.g. in response to disk failures). We can no longer assume that the only way for a cluster mirror to go "out-of-sync" is for a machine to fail/leave.