Hi, Another question for users and committers:
1.7 How do I revert/discard a changed file to develop head? Git reset file followed by git checkout or is it git reset -- and git checkout --- ? What about the "--hard" option? When is it required? (or --soft for that mater?) Is there a single command that will revert in git? Justin