4 ms·
GitHub wiki is a repo and can be cloned locally. Searching through a local files is trivial.
by tsuresh 11y ago
GitHub wiki is a repo and can be cloned locally. Searching through a local files is trivial.
- mellett68 11y agoI'd argue that's still a bit of a pain compared to a fulltext search in the browser. I can already search the rest of the repo and issues that way, so why not the wiki? Good tip though.