mirror of
https://github.com/git/git.git
synced 2026-04-06 06:50:11 +02:00
Dead code removal. * jc/nobody-sets-src-peer-ref: match_push_refs(): nobody sets src->peer_ref anymore
46 KiB
46 KiB