If I lock a file, modify it and commit over DAV then the lock is visible in the pre-commit hook, and if the commit fails the lock remains valid.
If I delete the file, rather than modify it, then the lock gets removed before the pre-commit hook runs, and if the commit fails the lock is gone. This leaves a broken lock in the working copy. Would people agree that's a bug? Commit has a --no-unlock option that causes locks to remain after the commit, and this keeps the lock for deleted files as well. So it should be possible for locks on deleted files to behave more like locks on modified files: to persist through pre-commit and not break if the commit fails. -- Philip
