<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Willem,<div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 4. Jul 2017, at 20:24, Willem Ferguson <<a href="mailto:willemferguson@zoology.up.ac.za" class="">willemferguson@zoology.up.ac.za</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">I need some help to send a pull request. I created a private repository in GitHub and changed the mobile manual in my private master. Now I need to get the appropriate notification to Dirk.<span class="Apple-converted-space"> </span><br class=""><br class=""></div><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">I cannot find the step by step procedure that Dirk wrote about maybe 2 weeks ago. Perhaps it would be a good idea to put this information as part of the Subsurface source?</span></div></blockquote></div><br class=""></div><div class="">let be be sure I understand you correctly: On GitHub, you have cloned the subsurface repository to your account. And on you (local) computer you have a repository where you have done your editing.</div><div class=""><br class=""></div><div class="">Have you already set up your GitHub repository as a remote of your local repository? If not, do so (I usually do that in a graphical GUI for git, but in can be done one the command line as well:</div><div class=""><br class=""></div><div class="">git remote add github <a href="https://github.com/willemferguson/subusrface.git" class="">https://github.com/willemferguson/subusrface.git</a> (or whatever you GitHub account is called)</div><div class=""><br class=""></div><div class="">Then, its not a good practice to commit your edits to local master, better create a new branch before you start committing your changes (using git checkout -b new_branch_name).</div><div class=""><br class=""></div><div class="">If you had done so you could simply push your new branch to GitHub by</div><div class=""><br class=""></div><div class="">git push github new_branch_name:new_branch_name</div><div class=""><br class=""></div><div class="">(branch name is double since one is your local name and the other is the branch name on GitHub which could be different).</div><div class=""><br class=""></div><div class="">Then go to the GitHub website and create a pull request for your new branch (if you do this shortly after pushing there is a prominent button that offers that possibility directly).</div><div class=""><br class=""></div><div class="">Now, it seems you have added local commits to your master. How many are those since you last pulled origin/master? Depending on that it depends what’s best to do to actually move your commits to a new branch.</div><div class=""><br class=""></div><div class="">For example, for a single commit, you could </div><div class=""><br class=""></div><div class="">git reset origin/master</div><div class=""><br class=""></div><div class="">then do the git checkout -b and then recommit. Otherwise go back to origin master and then either cherry pick or rebase.</div><div class=""><br class=""></div><div class="">Best</div><div class="">Robert</div></body></html>