There's no unwanted head to close. It's all on the 3.3 branch. 2013/7/15 Jason R. Coombs <[email protected]>: > 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
-- Regards, Benjamin _______________________________________________ python-committers mailing list [email protected] http://mail.python.org/mailman/listinfo/python-committers
