diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-06-10 12:04:20 (EDT) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-10 12:04:20 (EDT) |
commit | 5038799a3a22cc0d9150446bd877b4e731fdad23 (patch) | |
tree | 77466092f4f32c8f067920c9a5a5954fceebf307 /site/git/index.php | |
parent | 004614c0ff462310282facb8b2caed1b174115cf (diff) | |
download | libreboot.org-5038799a3a22cc0d9150446bd877b4e731fdad23.zip libreboot.org-5038799a3a22cc0d9150446bd877b4e731fdad23.tar.gz libreboot.org-5038799a3a22cc0d9150446bd877b4e731fdad23.tar.bz2 |
Revert "site/git/index.html: Require a sign-off-by"
This reverts commit 2e573736c094376e7c65ecf95bae192ca3b75cf3.
re-think required
Diffstat (limited to 'site/git/index.php')
-rw-r--r-- | site/git/index.php | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/site/git/index.php b/site/git/index.php index 46e6cb5..1ebedd6 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -106,15 +106,14 @@ <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 -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. + $ <b>git commit -a</b><br/> + <?php echo gettext("(instead of <b>git commit</b>)"); ?> </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 -s --amend</b><br/> + $ <b>git commit --amend</b><br/> <?php echo gettext("or:"); ?><br/> - $ <b>git commit -a -s --amend</b> + $ <b>git commit -a --amend</b> </p> <p> <?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/> @@ -178,4 +177,4 @@ <?php $strHtml = ob_get_clean(); echo miniHtml($strHtml); -?> +?>
\ No newline at end of file |