Commit 729b6f490068642f35ca933ef44830fda11b6aef

Jakob Pfender 2011-04-21T10:40:54

index: Allow user to toggle whether to replace an index entry When in the middle of a merge, the index needs to contain several files with the same name. git_index_insert() used to prevent this by not adding a new entry if an entry with the same name already existed.