Filing issue with permission of Ben Collins-Sussman:
When a commit deletes a file, and the --no-unlock option is passed with the commit, the lock is not removed. That leaves a lock on a non-existing file:
I'm not sure if that really intended. Of course, the above recipe isn't that 'real life', but imagine a commit with --no-unlock where not just the removed file but multiple other files are committed too, then the --no-unlock option makes more sense.
I think in case a file gets removed from the repository, the lock should be removed too, no matter if the --no-unlock option is passed or not.