summaryrefslogtreecommitdiffstats
path: root/site/git
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-06-10 07:25:12 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-06-10 07:25:12 (EDT)
commit2e573736c094376e7c65ecf95bae192ca3b75cf3 (patch)
tree269481f01668730d8b56a561fb84e7d7a6a13fe8 /site/git
parente8191fcc927384bc94519000278325216e0c1d2f (diff)
downloadlibreboot.org-2e573736c094376e7c65ecf95bae192ca3b75cf3.zip
libreboot.org-2e573736c094376e7c65ecf95bae192ca3b75cf3.tar.gz
libreboot.org-2e573736c094376e7c65ecf95bae192ca3b75cf3.tar.bz2
site/git/index.html: Require a sign-off-by
This patch also practises what it preaches. Signed-off-by: Francis Rowe <info@gluglug.org.uk>
Diffstat (limited to 'site/git')
-rw-r--r--site/git/index.php11
1 files changed, 6 insertions, 5 deletions
diff --git a/site/git/index.php b/site/git/index.php
index 1ebedd6..46e6cb5 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -106,14 +106,15 @@
<p>
<?php echo gettext("The status command will show any untracked files that you have. Add them using <b>git add path/to/file</b>. You should also add any other files that are listed as modified in the git status. If there are deleted files in the git status, you can use <b>git rm path/to/file</b>. As long as you have added all the untracked files, it is generally easier to use:"); ?><br/>
- $ <b>git commit -a</b><br/>
- <?php echo gettext("(instead of <b>git commit</b>)"); ?>
+ $ <b>git commit -a -s</b><br/>
+ <?php echo gettext("(instead of <b>git commit -s</b>)"); ?><br/>
+ The <i>-s</i> parameter adds a sign-off-by to the commit message. This is highly recommended.
</p>
<p>
<?php echo gettext("If you need to make a change to the current commit, you can do so with:"); ?><br/>
- $ <b>git commit --amend</b><br/>
+ $ <b>git commit -s --amend</b><br/>
<?php echo gettext("or:"); ?><br/>
- $ <b>git commit -a --amend</b>
+ $ <b>git commit -a -s --amend</b>
</p>
<p>
<?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/>
@@ -177,4 +178,4 @@
<?php
$strHtml = ob_get_clean();
echo miniHtml($strHtml);
-?> \ No newline at end of file
+?>