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
[email protected]
http://lists.puremagic.com/mailman/listinfo/phobos
_______________________________________________
phobos mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/phobos
