offtopic! My git skills aren't quite up-to-speed yet. What would be the best way to back out my last commit but preserve the changes so I can make additional changes and resubmit the patch? I assume I want some variation of "git reset" but I'm not sure whether I want --mixed, --soft, --hard...