mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-05-19 01:30:21 -07:00
5bfdd3a652
It's not clear why removing this makes things work. I've submitted PRs that passed CI with fetch-depth=1. Maybe it only fails when PRs are submitted from external contributors? Either way, for now, we remove this and absorb the extra cost in order to get PRs passing CI again. PR #1501