On Mon, 22 Apr 2013 10:22:45 -0700 (PDT)
Carlos Pérez <infini...@gmail.com> wrote:
> A friend did a "git reset --hard origin". He did that instead of
> going "git reset --hard origin/branch_name" which is what he actually
> intended. After that he pushed his changes.
As one of the folks who provided opinions on this topic following your
SO question  (which you did not link to for unknown reason) I should
repeat that in my opinion your question is hard-core enough to ask on
the main Git list (for developers) which is git at vger.kernel.org .
This list is just a place to help newbies, not really different from SO
in terms of the level of expertise of those who answers. I mean, Git
developers nether do read the "git" tag at SO, nor this list.
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/groups/opt_out.