Ruoyu Zhong
96cf5513c8
Port brew --repository to Bash
This provides a significant speedup:
$ hyperfine 'git checkout master; brew --repo homebrew/core' 'git checkout brew-repository-speedup; brew --repo homebrew/core'
Benchmark 1: git checkout master; brew --repo homebrew/core
Time (mean ± σ): 1.737 s ± 0.388 s [User: 0.743 s, System: 0.323 s]
Range (min … max): 1.336 s … 2.438 s 10 runs
Benchmark 2: git checkout brew-repository-speedup; brew --repo homebrew/core
Time (mean ± σ): 459.1 ms ± 91.9 ms [User: 100.5 ms, System: 142.1 ms]
Range (min … max): 366.5 ms … 594.0 ms 10 runs
Summary
git checkout brew-repository-speedup; brew --repo homebrew/core ran
3.78 ± 1.13 times faster than git checkout master; brew --repo homebrew/core