mirror of
https://github.com/git/git
synced 2024-10-02 14:45:21 +00:00
Merge branch 'jc/nobody-sets-src-peer-ref'
Dead code removal. * jc/nobody-sets-src-peer-ref: match_push_refs(): nobody sets src->peer_ref anymore
This commit is contained in:
commit
6d37c162bb
Loading…
Reference in a new issue