No, you screwed it up worse.  I fixed it.  Please don't do this again.

On Fri, Feb 21, 2014 at 7:40 PM, Walter Bright <[email protected]>wrote:

>
> On 2/21/2014 12:21 AM, Walter Bright wrote:
>
>>
>> git reset --soft HEAD^
>> git push origin +master
>>
>
> Did this one. Seems to have worked.
>
> _______________________________________________
> dmd-internals mailing list
> [email protected]
> http://lists.puremagic.com/mailman/listinfo/dmd-internals
>
_______________________________________________
dmd-internals mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/dmd-internals

Reply via email to