[darcs-devel] [issue1469] darcs push: don't lock hashed/darcs-2 repos.

[Guillaume Hoffmann]

Guillaume Hoffmann <guillaumh at gmail.com> added the comment:

Currently push does not lock (hashed) repositories; I believe this is
since withRepoReadLock was made non-locking for hashed repositories.
Hence the issue is resolved.

----------
status: deferred -> resolved

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1469>
__________________________________