> 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
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, searching for sys_cap_enter:
https://cs.github.com/?scopeName=All+repos&scop
On 01/02/2023 06:05, Yetoo wrote:
On Tue, Jan 31, 2023, 9:47 AM David Chisnall wrote:
On 30/01/2023 21:39, Yetoo wrote:
If github is going to be considered for issue tracking I just want to
say, after having extensively using it for issue tracking, it tends to
be difficult to find an issue if
On Tue, Jan 31, 2023, 9:47 AM David Chisnall wrote:
>
> On 30/01/2023 21:39, Yetoo wrote:
> >
> > If github is going to be considered for issue tracking I just want to
> > say, after having extensively using it for issue tracking, it tends to
> > be difficult to find an issue if the exact title is
