projects / tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dd524c) | patch
Make the final question before push have a _yes_/_no_ answer.
authorPauli <paul.dale@oracle.com>
Tue, 4 Jul 2017 02:02:35 +0000 (12:02 +1000)
committerRich Salz <rsalz@akamai.com>
Tue, 4 Jul 2017 14:31:04 +0000 (10:31 -0400)
commit5e7c8fc60ec209e332bf707297c6ac3901d7db3b
treee69771f4940f164e0bcd9dcf07ed5083a45a3084tree | snapshot
parent7dd524ccc83008915d9ae0b7e1affff7315e8f01commit | diff
Make the final question before push have a _yes_/_no_ answer.

The response is treated case insensitively and short forms are
accepted (_y_ and _n_).

Reviewed-by: Rich Salz <rsalz@openssl.org>
review-tools/ghmerge diff | blob | history
review-tools/pick-to-branch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.