1 The [[plugins/remove]] plugin does not report an error if git rm fails. (It
2 probably doesn't if other VCS backends fail too). This can happen for example
3 if a page in your source directory is not a tracked file for whatever reason
4 (in my case, due to renaming the files and forgetting to commit that change).