diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawnpdM9F8VbtQ_H5PaPMpGSxPe_d5L1eJ6w <Rafal@web> | 2011-06-29 14:46:41 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2011-06-29 14:46:41 +0000 |
| commit | fb7663ceb86b309dd223ebc113c8b586955a0e03 (patch) | |
| tree | 0cc3a070c6f5854ce02380b83e9ea21d35f8ebf8 | |
| parent | 9f9e17aa0f4898063a58c88661bca01465b126a9 (diff) | |
| -rw-r--r-- | doc/bugs/git_annex_should_use___39__git_add_-f__39___internally.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/bugs/git_annex_should_use___39__git_add_-f__39___internally.mdwn b/doc/bugs/git_annex_should_use___39__git_add_-f__39___internally.mdwn new file mode 100644 index 000000000..66b3aa36a --- /dev/null +++ b/doc/bugs/git_annex_should_use___39__git_add_-f__39___internally.mdwn @@ -0,0 +1,6 @@ +I have this line in the .gitignore file of one of my repos: +*log + +So the command 'git annex init name' fails to add the file ".git-annex/uuid.log", and the same problem happens when git-annex-add'ing files. + +Also, when a file is git-ignored, it should be possible to 'git annex add' it with a -f/--force option, the same way git does it. |