Re: [boost] [filesystem] Request for help with unresolved tickets

Subject: Re: [boost] [filesystem] Request for help with unresolved tickets
From: Kyle Lutz (kyle.r.lutz_at_[hidden])
Date: 2014-12-29 17:57:36

On Mon, Dec 29, 2014 at 8:37 AM, Fletcher, John P
<j.p.fletcher_at_[hidden]> wrote:
> It would be good to have a pointer to more information about how to use Github pull requests.  In particular, does the request leave the sender, or does the sending computer have to remain online?

The help.github.com site has many great guides on using Git + GitHub.
Here's the guide on making pull-requests [1].

To answer your question though, no, the computer which pushes the
change to GitHub does not need to remain online after the changes are
pushed. You simply push to GitHub with "git push" and then use the
"New Pull Request" button on the GitHub web interface to publish your
changes for review.

-kyle

[1] https://help.github.com/articles/using-pull-requests/