mirror of
https://github.com/git-for-windows/git.git
synced 2026-05-04 19:16:21 -05:00
Dead code removal. * jc/nobody-sets-src-peer-ref: match_push_refs(): nobody sets src->peer_ref anymore
46 KiB
46 KiB