diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-10-19 08:45:43 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-10-19 08:45:43 +0300 |
commit | 9f8468be43df74665bfd9fd925d8ab6fc74f963f (patch) | |
tree | 0b21244428d8227366c738ee2dfa2a94fe3af808 /Documentation/merge-options.txt | |
parent | 660fb3dfa8f3e42b287ee7e27a36ecd2420b89c3 (diff) | |
parent | 488aa65c8fdad35869d7ac47180ad1688262788f (diff) |
Merge branch 'wk/merge-options-gpg-sign-doc'
Doc updates.
* wk/merge-options-gpg-sign-doc:
Documentation/merge-options.txt: describe -S/--gpg-sign for 'pull'
Diffstat (limited to 'Documentation/merge-options.txt')
-rw-r--r-- | Documentation/merge-options.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/merge-options.txt b/Documentation/merge-options.txt index 4e32304301..2552ab8e8d 100644 --- a/Documentation/merge-options.txt +++ b/Documentation/merge-options.txt @@ -42,6 +42,12 @@ set to `no` at the beginning of them. current `HEAD` is already up to date or the merge can be resolved as a fast-forward. +-S[<keyid>]:: +--gpg-sign[=<keyid>]:: + GPG-sign the resulting merge commit. The `keyid` argument is + optional and defaults to the committer identity; if specified, + it must be stuck to the option without a space. + --log[=<n>]:: --no-log:: In addition to branch names, populate the log message with |