[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