Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'es/grep-require-name-when-needed'
author
Junio C Hamano
<gitster@pobox.com>
Mon, 17 Jun 2019 17:15:14 +0000
(10:15 -0700)
committer
Junio C Hamano
<gitster@pobox.com>
Mon, 17 Jun 2019 17:15:14 +0000
(10:15 -0700)
More parameter validation.
* es/grep-require-name-when-needed:
grep: fail if call could output and name is null
raw
|
compact
(merge:
7df94cd
de99eb0
)
Trivial merge