Renaming handling / Refresh of mappings #3
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
If paths get renamed, we still have the old name in our mapping.
See also remarks in man 7 inotify regarding this.