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- > bounces+jaraco=jaraco....@python.org] 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 > python-committers@python.org > http://mail.python.org/mailman/listinfo/python-committers
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ python-committers mailing list python-committers@python.org http://mail.python.org/mailman/listinfo/python-committers
