mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-01-29 22:01:04 +02:00
7f23cd63a5
People occasionally get this wrong and I've been manually checking it. Instead, let's have CI do it automatically. PR #2351