[phobos] pushing a pull request

[Andrei Alexandrescu]

Hello,


I have my own branch of phobos and would like to merge it with the 
phobos trunk proper.

How do I do this? Do I need a separate tree for phobos apart from my own 
branch of it, or can I just get away with one tree?


Thanks,

Andrei

P.S. Here is my .git/config:

[core]
         repositoryformatversion = 0
         filemode = true
         bare = false
         logallrefupdates = true
         ignorecase = true
[remote "origin"]
         fetch = +refs/heads/*:refs/remotes/origin/*
         url = git at github.com:andralex/phobos.git
[branch "master"]
         remote = origin
         merge = refs/heads/master
[branch "work"]
         remote = origin
         merge = refs/heads/work
[remote "mothership"]
         url = git at github.com:D-Programming-Language/phobos.git
         fetch = +refs/heads/*:refs/remotes/mothership/*