Re: [python-committers] I would suggest not pushing or pulling from the repo

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.com@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