Re: [PATCH 1/3] check_replace_refs: fix outdated comment

2018-07-18 Thread Jeff King
On Wed, Jul 18, 2018 at 03:41:10PM -0700, Junio C Hamano wrote: > Jeff King writes: > > > Commit afc711b8e1 (rename read_replace_refs to > > check_replace_refs, 2014-02-18) added a comment mentioning > > that check_replace_refs is set in two ways: > > > > - from user intent via

Re: [PATCH 1/3] check_replace_refs: fix outdated comment

2018-07-18 Thread Junio C Hamano
Jeff King writes: > Commit afc711b8e1 (rename read_replace_refs to > check_replace_refs, 2014-02-18) added a comment mentioning > that check_replace_refs is set in two ways: > > - from user intent via --no-replace-objects, etc > > - after seeing there are no replace refs to respect > > Since

[PATCH 1/3] check_replace_refs: fix outdated comment

2018-07-18 Thread Jeff King
Commit afc711b8e1 (rename read_replace_refs to check_replace_refs, 2014-02-18) added a comment mentioning that check_replace_refs is set in two ways: - from user intent via --no-replace-objects, etc - after seeing there are no replace refs to respect Since c3c36d7de2 (replace-object: