Hello, my computer froze during a darcs push to hub.darcs.net/pointfree/stringology (after the second password entry). Now, when I try to push to the repo darcs says it's waiting for the lock. Is there a way I can delete _darcs/lock from my darcshub repo?