]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'dr/push-remote-ref-update'
authorJunio C Hamano <gitster@pobox.com>
Wed, 11 Mar 2020 17:58:16 +0000 (10:58 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 11 Mar 2020 17:58:16 +0000 (10:58 -0700)
Code clean-up.

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

1  2 
ref-filter.c

diff --cc ref-filter.c
Simple merge