Page 2 of 2
Re: howto: git (github) usage
Posted: Sat Jul 15, 2017 12:54 am
by Adrian
You don't have permission to push to jerry's repo. There are two options:
1. Jerry adds you as a collaborator, that would allow you to push to his repo.
2. You push to your fork of Jerry's repo and then issues "Pull requests" from Github.com interface and Jerry will have to do the pull to integrate your changes.
It's a matter of workflow preference, for small number of contributors option #1 works fine, for things that needs a bit more control option #2 is better.
Re: howto: git (github) usage
Posted: Sat Jul 15, 2017 1:43 am
by Gordon Cooper
Thanks Adrian, but the difficulty here is that Jerry has previously added me as a collaborator. With the second option, I am not seeing the provision to send a pull request to Jerry, possibly because I am registered in github as a collaborator with Jerry.
Re: howto: git (github) usage
Posted: Sat Jul 15, 2017 9:22 am
by Adrian
Jerry has previously added me as a collaborator.
Not sure how to check, if you try to edit a file in Github what buttons do you see down the page? Here for example
https://github.com/jerry3904/mxum/edit/master/README.md
If you see "Propose file change" it means you don't have edit rights. Otherwise you'll see "Commit changes". If you don't see "Commit changes" Jerry will need to add you as an editor to his repo.
With the second option, I am not seeing the provision to send a pull request to Jerry
Where is your repo on Github?
https://github.com/jerry3904/mxum/network
To be able to do that you'd need to fork Jerry's repo, and pull and push to your repo. Then from Github in your repo you'd have a button to do pull requests.
So you'll have to have a Github account just like Jerry:
https://github.com/jerry3904 (but of course with your user name) then once you are logged in you could fork projects from other people, then pull and push to your repo and when you are done with the changes issue Pull Requests.
Git and Github are not very simple, but with a bit of patience and solving problems step by step you should be able to start to use it. Once you get into a pattern you'll see it's not impossible but we need to go over this first time user obstacles...
Re: howto: git (github) usage
Posted: Sat Jul 15, 2017 7:03 pm
by Gordon Cooper
Adrian. Thanks again for more advice. i set up an account right at the start and have cloned from Jerry's repo and followed your steps on setup and workflow. Have gotten myself into a muddle in getting my suggested changes back to Jerry. Once that issue is overcome, am not expecting many problems. Now working through
github's guides again to see where am going wrong.
Re: howto: git (github) usage
Posted: Sat Jul 15, 2017 7:18 pm
by Jerry3904
You may be making it harder than necessary... Let me see what I have from you (been mighty busy today...).
Re: howto: git (github) usage
Posted: Sat Jul 15, 2017 7:47 pm
by Gordon Cooper
Jerry3904 wrote:You may be making it harder than necessary... Let me see what I have from you (been mighty busy today...).
Being busy is an issue here too. Taking advantage of a couple of fine days to get plant pruning done before winter returns.
Re: howto: git (github) usage
Posted: Sat Jul 15, 2017 9:34 pm
by Gordon Cooper
It works !? Have just opened my Github account (0130 UTC). Is now showing myself as a contributor to Jerry3904/mxum and file S1.odt shows that the suggested modification -deletion of 2 lines before 1.2- has been done.