diff options
| author | Wynn Wolf Arbor | 2020-06-01 11:57:21 +0200 |
|---|---|---|
| committer | Wynn Wolf Arbor | 2020-06-01 11:57:21 +0200 |
| commit | 7dc60a00ab74578aaf56607fb0c7399ffff2c187 (patch) | |
| tree | 280c3e78db3b1f8b0a8b06a4434a073518675503 /posts | |
| parent | d7ba7723b1fd1cc7480e36c82ee8c8176e081f26 (diff) | |
| download | site-7dc60a00ab74578aaf56607fb0c7399ffff2c187.tar.gz | |
posts: Be more clear about which search interfaces are meant
Diffstat (limited to '')
| -rw-r--r-- | posts/the-long-journey-to-cgit.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/posts/the-long-journey-to-cgit.md b/posts/the-long-journey-to-cgit.md index a567f16..5fabe4f 100644 --- a/posts/the-long-journey-to-cgit.md +++ b/posts/the-long-journey-to-cgit.md @@ -8,7 +8,7 @@ green pastures of the likes of GitHub or GitLab, there has been an ever greater need as a proactive user to engage and deal with these platforms. And, to be perfectly frank, the general experience sucks! -The search interfaces especially leave a lot of things to be desired. +Their search interfaces especially leave a lot of things to be desired. Usually I end up capitulating after a minute, clone the whole repository instead, and fire up [`rg(1)`](https://github.com/BurntSushi/ripgrep). Why struggle to perform a task in your browser if you have tools that |