Greg Sabino Mullane <[email protected]> writes: > Best way is to make a PR on the github repo.
I'm new to github. Insofar my understanding goes, this involves 1. Forking the repo on github. 2. Applying whatever changes I want to make to the forked repo there. 3. Do something with my forked repo which results in some kind of notification to the owner of the repo I forked it from. Is this correct? The GitHub documentation on pull requests seem to tell me that I must have write access to the original repository in order to create a pull request. But as this would render pull requests useless for cooperation between indivduals who do not already belong to some common organization, I suspect that I'm misunderstanding this.
