diff options
| author | Joey Hess <joey@gnu.kitenet.net> | 2009-05-19 13:07:47 -0400 |
|---|---|---|
| committer | Joey Hess <joey@gnu.kitenet.net> | 2009-05-19 13:07:47 -0400 |
| commit | ef003f48f4a3fe8fb67fda62c70a299b07d75976 (patch) | |
| tree | cb5972026e6beed91b5eca2fa4962790244062bd /doc/bugs/remove_plugin_and_untracked_files.mdwn | |
| parent | 53b1c6f559c1d09fbdbc28c8e4d5090dd455cd26 (diff) | |
| parent | 4c5987d150b26f638494638f7861fb7646542a37 (diff) | |
Merge branch 'master' into po
Conflicts:
debian/changelog
Diffstat (limited to 'doc/bugs/remove_plugin_and_untracked_files.mdwn')
| -rw-r--r-- | doc/bugs/remove_plugin_and_untracked_files.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/bugs/remove_plugin_and_untracked_files.mdwn b/doc/bugs/remove_plugin_and_untracked_files.mdwn new file mode 100644 index 000000000..07408c3bc --- /dev/null +++ b/doc/bugs/remove_plugin_and_untracked_files.mdwn @@ -0,0 +1,6 @@ +The [[plugins/remove]] plugin does not report an error if git rm fails. (It +probably doesn't if other VCS backends fail too). This can happen for example +if a page in your source directory is not a tracked file for whatever reason +(in my case, due to renaming the files and forgetting to commit that change). + + -- [[Jon]] |