tree 6dfdf6cae4ff4c1729cf0b8dd400b99d6d494b1a
parent e6bcd979684d5a050bcb5d642e761e0ea350c6ec
author Junio C Hamano <gitster@pobox.com> 1315594498 -0700
committer Junio C Hamano <gitster@pobox.com> 1315870913 -0700

rename "match_refs()" to "match_push_refs()"

Yes, there is a warning that says the function is only used by push in big
red letters in front of this function, but it didn't say a more important
thing it should have said: what the function is for and what it does.

Rename it and document it to avoid future confusion.

Signed-off-by: Junio C Hamano <gitster@pobox.com>