`git rm` should always be preferred over "normal" `rm`. Signed-off-by: Matthias Beyer <mail@beyermatthias.de>