Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
831 contributions in the last year
Activity overview
Contribution activity
September 2020
- BurntSushi/packages JavaScript
Created a pull request in webinstall/webi-installers that received 9 comments
rg: tweak the wording in the ripgrep description
The commit messages provide a tiny bit more detail, but basically: The "rip" in "ripgrep" means "to rip through text" and not "kill grep" or "grep…
+3
−3
•
9
comments

