The other option is you could 'close' the unwanted head and create a new head at the point before the unwanted merge.
> -----Original Message----- > From: python-committers [mailto:python-committers- > [email protected]] On Behalf Of Benjamin Peterson > Sent: Monday, 15 July, 2013 23:08 > To: python-committers > Subject: [python-committers] I would suggest not pushing or pulling from > the repo > > I accidently pushed a merge from 3.3 to default in the "3.3" branch. I think I'm > going to have to strip it. > > -- > Regards, > Benjamin > _______________________________________________ > python-committers mailing list > [email protected] > http://mail.python.org/mailman/listinfo/python-committers
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ python-committers mailing list [email protected] http://mail.python.org/mailman/listinfo/python-committers
