summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-11-18 02:43:05 (EST)
committer Francis Rowe <info@gluglug.org.uk>2015-11-18 02:43:05 (EST)
commit25357ca17914dbae2732241245d05f0af91db264 (patch)
treea1257188623b66939a80bdbeeb375c1982748002
parent23a370b9fde8022818fd361667cd70a59c576092 (diff)
downloadlibreboot.org-25357ca17914dbae2732241245d05f0af91db264.zip
libreboot.org-25357ca17914dbae2732241245d05f0af91db264.tar.gz
libreboot.org-25357ca17914dbae2732241245d05f0af91db264.tar.bz2
git page: make more clear how to submit patches
-rw-r--r--site/git/index.php13
1 files changed, 9 insertions, 4 deletions
diff --git a/site/git/index.php b/site/git/index.php
index f4b50ed..0c91e2b 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -49,6 +49,7 @@
<li><a href="#guidelines">General guidelines for submitting patches</a></li>
<li><a href="#download">How to download</a></li>
<li><a href="#contrib">How to use git, for creating patches</a></li>
+ <li><a href="#sendpatch">How to send your patches</a></li>
<li><a href="#gitbackup">Backup git repositories</a></li>
</ul>
@@ -207,6 +208,14 @@
$ <strong>git lol</strong><br/>
<?php echo gettext("This is like <strong>git log</strong>, but it's much better and shows branches, etc."); ?>
</p>
+
+ <p>
+ <a href="#pagetop">Back to top of page</a>
+ </p>
+ </div>
+
+ <div>
+ <h1 id="sendpatch">How to submit your patches</h1>
<h3><?php echo gettext("Method 1: host a repository"); ?></h3>
<p>
<?php echo gettext("Give the checkout details to the libreboot project, along with information on which commits in what branch contain your changes."); ?>
@@ -224,10 +233,6 @@
<p>
<?php echo gettext("Contact the libreboot project using the details on the home page, sending your patch(es). The mailing list is generally preferable, although IRC can also be just as good for small patches (you would probably put the patch on a paste site). If you'll be using the mailing list(s) a lot, then it probably makes sense to subscribe to them."); ?>
</p>
-
- <p>
- <a href="#pagetop">Back to top of page</a>
- </p>
</div>
<div>