Using GitHub

Paul-Erik Törrönen poltsi at poltsi.fi
Wed Jan 4 23:46:21 PST 2017


On 2017-01-05 08:29, Willem Ferguson wrote:
> How does one submit a patch? Does one have to do the edits online
> within GitHub inside a browser or can one upload files with changes?
> The tutorial is not clear.

IIRC Dirk did mention that he would accept pull-requests?

If so then that would mean that your repo must be public, and I guess 
the easiest way is to just fork Dirk's github project (let's call this 
master) to your own github account (let's call this your branch) and 
issue a pull from there?

You then in turn, clone from your github account your branch to your 
workstation (let's call this local copy) and do the edits there.

So the flow model of your changes would be:

local copy => your branch => master

You also need to get the updates to your local copy from master, which 
means that you need to add master as a remote so you can fetch/merge all 
the other changes which you then push to your github branch.

So the flow model of others changes would be:

master => local copy => your branch

Or you can continue in the old way, sending patches by email from your 
local copy.

Did I get this right?

Poltsi


More information about the subsurface mailing list