1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-08-20 06:33:48 -07:00
Files
ripgrep/.github
James McKinney fc7e634395 ci/release: Use GITHUB_REF_NAME instead of GITHUB_REF
This is a nice quality of life improvement.

Closes 
2023-07-08 18:52:42 -04:00
..