git: revert (reset) a single file