Martin von Zweigbergk <martinvonz@xxxxxxxxx> writes: > Would the correct fix be to > first make "git reset --hard -- $path" work (*sigh*)? I have never > understood why that doesn't (shouldn't) work. What does it even mean, even when you are on an existing commit, to hard reset partially? Perhaps you looking for "git checkout $tree -- $path"? -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html