diff options
| author | Francis 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) |
| commit | 2e573736c094376e7c65ecf95bae192ca3b75cf3 (patch) | |
| tree | 269481f01668730d8b56a561fb84e7d7a6a13fe8 /site/git | |
| parent | e8191fcc927384bc94519000278325216e0c1d2f (diff) | |
| download | libreboot.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.php | 11 |
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 +?> |