Ensure that each commit is atomic w.r.t the many repos

[bergmanngabor]

Using some mutual exclusion mechanism, make sure that while a commit to one front repo is in progress, other front repos (and the gold repo) cannot be simultaneously committed to (by another user).