rev control now operates only when repo writable