Optimization batch 6: make full use of exact renames#842

newren wants to merge 2 commits into

gitgitgadget:temporary/ort-perf-measurementsgitgitgadget/git:temporary/ort-perf-measurementsfrom

newren:ort-perf-batch-6newren/git:ort-perf-batch-6Copy head branch name to clipboard