tree cabde11cf046e13183cdf5d69746a3bb2bea5382
parent cdef998b4619cb9acfe2955fcbe9db0ea2f46d33
parent af8ccd8ade1e2dd1bf332067b98dd4459e29c1d3
author Junio C Hamano <gitster@pobox.com> 1583949496 -0700
committer Junio C Hamano <gitster@pobox.com> 1583949496 -0700

Merge branch 'dr/push-remote-ref-update'

Code clean-up.

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