diff options
author | Michael Muré <michael.mure@consensys.net> | 2019-03-27 21:46:57 +0100 |
---|---|---|
committer | Michael Muré <michael.mure@consensys.net> | 2019-03-27 21:46:57 +0100 |
commit | ffc6cbdc45d379df231d8bc084e86f554015d5d9 (patch) | |
tree | daaef02fc2c35cb41419e213d0eb1c215ab83f8b /doc/man/git-bug-select.1 | |
parent | 24d6714dd59a5c385c21991caa47e5727de043d0 (diff) | |
download | git-bug-ffc6cbdc45d379df231d8bc084e86f554015d5d9.tar.gz |
regenerate md and man files
Diffstat (limited to 'doc/man/git-bug-select.1')
-rw-r--r-- | doc/man/git-bug-select.1 | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/man/git-bug-select.1 b/doc/man/git-bug-select.1 index 677795c3..ab0bd421 100644 --- a/doc/man/git-bug-select.1 +++ b/doc/man/git-bug-select.1 @@ -17,6 +17,15 @@ git\-bug\-select \- Select a bug for implicit use in future commands. .PP Select a bug for implicit use in future commands. +.PP +This command allows you to omit any bug <id> argument, for example: + git bug show +instead of + git bug show 2f153ca + +.PP +The complementary command is "git bug deselect" performing the opposite operation. + .SH OPTIONS .PP |