diff options
author | Eric Wong <e@80x24.org> | 2023-12-08 03:54:38 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-12-09 02:03:51 +0000 |
commit | 8188164496fcd36aa4fc6ac14a5e4782feace077 (patch) | |
tree | 00ed35da1bc263fcb7fa355a34d65c281604d0f0 /lib/PublicInbox/AddressPP.pm | |
parent | 2ebbc92688ec061cefd3ec374f2e4c2937e330f9 (diff) | |
download | public-inbox-8188164496fcd36aa4fc6ac14a5e4782feace077.tar.gz |
Post-image blob OIDs are what solver already works with, and longer OIDs may not be available in historical mail archives. `patchid' turns out to be unsuitable since: 1) git's default diff algorithm has changed over time 2) users may use different diff options to improve readability Of course, we could eventually run `lei rediff' during the index phase to regenerate patchids, but that's out-of-scope for now and likely to be too expensive.
Diffstat (limited to 'lib/PublicInbox/AddressPP.pm')
0 files changed, 0 insertions, 0 deletions