git rm works better than normal rm ...