"git add -f" allows adding otherwise ignored files. Archives might include .gitignore files specifying files to be ignored by git, i.e., not added to the project's repository. Since the patch tool uses git to manage patches that may affect these "ignored" files, they should not be excluded from the working repository created by the patch tool.pull/2263/head
parent
ee3380ec22
commit
85d811fec1
Loading…
Reference in new issue