Merge branch 'dr/push-remote-ref-update'
commit5fa9169ced8f874910cf4cf289a650d65f52df22
authorJunio C Hamano <gitster@pobox.com>
Wed, 11 Mar 2020 17:58:16 +0000 (11 10:58 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 11 Mar 2020 17:58:16 +0000 (11 10:58 -0700)
treecabde11cf046e13183cdf5d69746a3bb2bea5382
parentcdef998b4619cb9acfe2955fcbe9db0ea2f46d33
parentaf8ccd8ade1e2dd1bf332067b98dd4459e29c1d3
Merge branch 'dr/push-remote-ref-update'

Code clean-up.

* dr/push-remote-ref-update:
  remote: drop "explicit" parameter from remote_ref_for_branch()
ref-filter.c