[phobos] bad git usage?

[Andrei Alexandrescu]

Apologies. I didn't mean to break things or create work for you guys; I 
just issued some odd commands. First I pushed std.log to Phobos although 
I just wanted to push it to my fork. Second, I tried to remove std.log. 
The result is... well all that crap.

Andrei

On 5/14/11 8:40 PM, Brad Roberts wrote:
> On 5/14/2011 6:31 PM, Jonathan M Davis wrote:
>> On 2011-05-14 18:19, Michel Fortin wrote:
>>> I don't think it causes any problem (the real HEAD and the HEAD branch are
>>> distinct), but it's rather misleading. Someone with commit access to the
>>> shared repository should do "git push origin :HEAD" to remove that branch.
>>
>> Done. The HEAD branch is now gone. I do worry about how it got there in the
>> first place though.
>>
>> - Jonathan M Davis
>
>  From the news feed:
>    andralex created branch HEAD at D-Programming-Language/phobos 3 days ago
>    New branch is at /D-Programming-Language/phobos/tree/HEAD
>    Compare HEAD branch with master »
>
> Looks like Andrei was fumbling around.. something better done in a personal tree rather than the master one.  Oh well.
> Damage fixed up now.
>
> Later,
> Brad
> _______________________________________________
> phobos mailing list
> phobos at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/phobos