[phobos] [D-Programming-Language/phobos] 6d7484: Added benchmark framework and improvements to toTe...

[Jonathan M Davis]

On 2011-06-08 14:49, David Nadlinger wrote:
> On 6/8/11 11:45 PM, Andrei Alexandrescu wrote:
> > I'm looking at
> > https://github.com/D-Programming-Language/phobos/commits/master and not
> > seeing a push.
> > 
> > I might have pushed the thing in a separate branch, "website". That was
> > a mistake.
> > 
> > 
> > Please advise.
> > 
> > Andrei
> 
> As the branch doesn't really do any harm, I'd just wait until the pull
> request is closed and then do »git push upstream :website« (or whatever
> your remote for the D-P-L is named) to delete it once it is no longer
> needed.

You don't even need to wait for the pull request to close. Just remove the 
website branch from the main repository with 

git-push upstream :website

Then let the pull request continue as normal. All you did when pushing the 
website branch to the main repository was to copy whatever branch you were 
copying from your repository to the website branch in the main repository. So, 
removing the website branch in the main repository should have no effect on 
anything that you've done.

- Jonathan M Davis