How to undo an rmname?
The important thing to remember is that renames, additions and removals of elements from a directory are all harmless and recoverable, so don’t panic! It helps to visualize additions, removals and renames as editing the containing directory. It’s very much like adding, removing or changing lines in a file, and the recovery procedures are similar. The easiest thing to do is to simply cancel the checkout of the directory.
