Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove replaced directory even without --delete
When a directory is replaced by another type (e.g. a plain file), it is first renamed and later removed. This later removal should be done regardless of whether --delete was selected or not.
- Loading branch information