Subject: Re: [boost] [git] Write permission to branch
From: Bjørn Roald (bjorn_at_[hidden])
Date: 2013-12-08 13:22:29
On 12/08/2013 05:54 PM, John Maddock wrote:
... unless there's some way to convert local
> modifications into a fork?
The fork on GitHub is just a clone of the repository, much like the one
you have changes in. It is a so-called /bare/ repository, i.e.: there
are no checked out files - just the .git folder content. Since you are
the owner of this repository, you can push your feature/whatever branch
changes to it.
git push <your-github-fork-url> feature/whatever
You can also change the origin remote reference in you local repository
git remote set-url origin <your-github-fork-url>
or, if you like, keep origin and make a new convenient remote reference
git remote add fork <your-github-fork-url>
With the latter you may push your feature/whatever branch to the "fork"
remote rather than the default "origin" like this:
git push fork feature/whatever
The GitHub fork provide is a public place the maintainer can pull from.
Any other public repository you have write access to and the
maintainer could have pulled from may have done the same service -
namely hosting a public accessible repository.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk