On Mon, 22 Apr 2013 10:22:45 -0700 (PDT) Carlos Pérez <[email protected]> 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 [1] (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 [2]. 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. 1. http://stackoverflow.com/q/16092450/720999 2. http://git-scm.com/community -- 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 to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
