Re: GitHub Code Search

2023-02-05 Thread Daniel O'Connor
> On 4 Feb 2023, at 22:08, Graham Perrin wrote: > > On 31/01/2023 17:47, David Chisnall wrote: >> 𣀦… The old GitHub search is not great, but cs.github.com has replaced local >> search for me in the FreeBSD tree. It's not *quite* as good as fxr, but it's >> close. >> >> For example, searchi

Re: Tooling Integration and Developer Experience

2023-02-05 Thread Warner Losh
Greetings, I've created https://reviews.freebsd.org/D38382 to encourage more people to submit pull requests for simple fixes. A simple fix is one that's brief, easily reviewed in a few minutes, ready to land in the tree (or nearly so) and has all the normal 'curation' done: author name is set rig