[git] Hard reset of a single file