[web] Provide detailed instructions on how to submit PRs for Github mirrored repos

LEDE Commits lede-commits at lists.infradead.org
Thu Oct 13 11:28:13 PDT 2016


jow pushed a commit to web.git, branch master:
https://git.lede-project.org/fde9a77e1d383e8189cef7da3ef6ea4172d97cc4

commit fde9a77e1d383e8189cef7da3ef6ea4172d97cc4
Author: Sigurd Hogsbro <sigurd at hogsbro.org>
AuthorDate: Sat Oct 8 10:54:10 2016 +0400

    Provide detailed instructions on how to submit PRs for Github mirrored repos
    
    Signed-off-by: Sigurd Hogsbro <sigurd at hogsbro.org>
---
 development.txt | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/development.txt b/development.txt
index 66c80c1..e659017 100644
--- a/development.txt
+++ b/development.txt
@@ -66,7 +66,16 @@ The biggest difference is that we now accept pull requests. Patches can be submi
 
 ==== Github
 
-There are Github mirrors of the https://github.com/lede-project/source[source] and https://github.com/lede-project/web[web] repos. Simply fork the project to a public repo and submit a pull request.
+There are Github mirrors of the https://github.com/lede-project/source[source] and https://github.com/lede-project/web[web] repos. Simply fork the project to a public repo using Github web interface, clone the repo to your computer, create a branch for your changes, push these back to Github and submit a pull request.
+
+For example, to submit a pull request for these web-pages, follow these instructions and then submit PR using Github web interface:
+----
+git clone git at github.com:<github username>/web.git
+git checkout -b <branch-name>
+<make changes to files>
+git commit --signoff
+git push --all
+----
 
 ==== Email
 



More information about the lede-commits mailing list