Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'en/update-ref-no-deref-stdin' into maint
author
Junio C Hamano
<gitster@pobox.com>
Wed, 21 Nov 2018 13:57:46 +0000
(22:57 +0900)
committer
Junio C Hamano
<gitster@pobox.com>
Wed, 21 Nov 2018 13:57:46 +0000
(22:57 +0900)
"git update-ref" learned to make both "--no-deref" and "--stdin"
work at the same time.
* en/update-ref-no-deref-stdin:
update-ref: allow --no-deref with --stdin
update-ref: fix type of update_flags variable to match its usage
raw
|
combined
(merge:
1fae869
d345e9f
)
Trivial merge