|
|
|
|
|
by _delirium
4219 days ago
|
|
That's a way one could do things, and fairly common with non-GitHub repositories. But it's not the cultural norm on GitHub. The typical process is to submit pull requests even for small doc changes. The interface encourages this by even having an "edit" button and online editor, which wraps up the fork/commit/pull-request cycle into a button push. And the GitHub docs encourage that as well. |
|
For known contributors, yeah, it's a nice feature.