mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-05-19 01:30:21 -07:00
5b6ca04e39
In particular, this appears to fix an extremely annoying bug that was causing PR builds to fail if they were re-run. For more details: https://github.com/actions/checkout/issues/23#issuecomment-572688577