mirror of
https://github.com/git/git.git
synced 2026-03-14 18:59:04 +01:00
Merge branch 'jc/rm' into next
* jc/rm: git-add: warn when adding an ignored file with an explicit request.
This commit is contained in:
@@ -37,6 +37,9 @@ static void prune_directory(struct dir_struct *dir, const char **pathspec, int p
|
||||
free(entry);
|
||||
continue;
|
||||
}
|
||||
if (entry->ignored_entry)
|
||||
fprintf(stderr, "warning: '%s' is an ignored path.\n",
|
||||
entry->name);
|
||||
*dst++ = entry;
|
||||
}
|
||||
dir->nr = dst - dir->entries;
|
||||
|
||||
Reference in New Issue
Block a user