mirror of
https://github.com/git/git.git
synced 2026-01-19 23:20:34 +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>