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.
