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

[Benjamin Peterson]

There's no unwanted head to close. It's all on the 3.3 branch.

2013/7/15 Jason R. Coombs <jaraco at jaraco.com>:
> 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 at 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 at python.org
>> http://mail.python.org/mailman/listinfo/python-committers



-- 
Regards,
Benjamin