mirror of
https://github.com/git/git.git
synced 2026-01-18 22:56:21 +00:00
The same logic as for unlink and rename also applies to rmdir. For example in case you have a shell open in a git controlled folder. This will easily fail. So lets be nice for such cases as well. Signed-off-by: Heiko Voigt <heiko.voigt@mahr.de>