My master was c2ee5b1 so I just pushed it and that's taken care of it. Sean
On Fri, May 18, 2012 at 12:56 PM, Ronan Lamy <[email protected]> wrote: > I think I just borked master on the main repo. I did a 'git push -f' > instead of 'git push -f github' and it "forced updated" (reverted, > actually) master from c2ee5b1... to 1dbe4be... I can see c2ee5b1 on > GitHub > [ > https://github.com/sympy/sympy/commit/c2ee5b16f1a146be4cb80262f3926b8991bbbb74] > but I don't know how to tell the master repo to reset 'master' there, and I > can't get the commit to my local repo either. So if anyone has it in their > repo (Aaron?), please repush to origin. > > Sorry for the trouble, I'm an idiot. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
