Glad this was fixed. I did some testing and couldn't figure out how to do what you were trying to do (pull in an unreferenced commit). According to http://kerneltrap.org/mailarchive/git/2009/1/13/4707494, it is impossible, at least for ssh and git protocols.
I personally have git push github aliased to git pu. That way, I always push with git pu or git pu -f, and I never accidentally push to the official repo. Aaron Meurer On Fri, May 18, 2012 at 12:50 PM, Ronan Lamy <[email protected]> wrote: > Le vendredi 18 mai 2012 à 13:10 -0500, Sean Vig a écrit : >> My master was c2ee5b1 so I just pushed it and that's taken care of it. >> >> >> Sean > > Thanks! > > > -- > 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.
