Merge branch 'en/update-ref-no-deref-stdin' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 21 Nov 2018 13:57:46 +0000 (22:57 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 21 Nov 2018 13:57:46 +0000 (22:57 +0900)
commit50e6df214d7f75559e4ad90c2fd1d8fc36938c8c
treee5e3e49ddf4b2442c1b3f6ca3a45c915b39dd63b
parent1fae869ef22c7599694c93d8ca40f36ecb916e16
parentd345e9fbe75c8bec6469253f0ee7e34228f41917
Merge branch 'en/update-ref-no-deref-stdin' into maint

"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