git reset HEAD <file>
will do the job.
Your modifications will be kept and the file will once again show up in the modified, but not yet staged set.
git reset HEAD <file>
will do the job.
Your modifications will be kept and the file will once again show up in the modified, but not yet staged set.