message no. 91130
Posted by offby1 in #github at 2015-04-24T19:55:28Z
ay_caramba: it's a little trickier if the repo's owner hasn't given you permission to "push"; in that case, you "fork" first, which creates another repository on github that _you_ own. Then you clone _it_, and push back to it; once you've done so, you open a "pull request", which informs the original owner of what you've done, and asks them to incorporate your changed.