diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-10-29 01:08:02 (EDT) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-10-29 01:08:02 (EDT) |
commit | 4020fefd1f99cb0e279b26d77e5c30fbe0f8b68b (patch) | |
tree | dce61f51605b43500454648698f4887f7d09c6a1 | |
parent | dedf139ccec9cc3a925eb227c5c304a4f5bef834 (diff) | |
download | libreboot.org-4020fefd1f99cb0e279b26d77e5c30fbe0f8b68b.zip libreboot.org-4020fefd1f99cb0e279b26d77e5c30fbe0f8b68b.tar.gz libreboot.org-4020fefd1f99cb0e279b26d77e5c30fbe0f8b68b.tar.bz2 |
git page: note about the --author option in git-commit
-rw-r--r-- | site/git/index.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/site/git/index.php b/site/git/index.php index 7f7817c..0c25987 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -132,6 +132,12 @@ <?php echo gettext("or:"); ?><br/> $ <b>git commit -a --amend</b> </p> + + <p> + If you wish to use a different author name for the commit command, add <i>--author="Author's Name <author's email address>"</i>. This + could be an alias, or it could be because you are submitting a patch on someone else's behalf. + </p> + <p> <?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/> $ <b>git log</b> |