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