29 Dec
2014
29 Dec
'14
10:57 p.m.
On Mon, Dec 29, 2014 at 8:37 AM, Fletcher, John P
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/