Document GH replacements for various common ticket searches

[kcrisman]

Searching is a bit wonky. This might be just a Github issue, in which case I guess you should close this. Details:

Just to test things out, I performed a search in issues for my handle kcrisman (and crisman). I got this while I was searching: https://34.105.185.241/sagemath/sage-all-2023-01-12-003/issues?page=40&q=is%3Aissue+kcrisman+is%3Aclosed

But clicking "Next" yields nothing. Or clicking on page 53 is the same thing. There are definitely earlier issues that should show up, and some of them do when I search for crisman instead. But not all! (For instance, https://34.105.185.241/sagemath/sage-all-2023-01-12-003/issues/2212 doesn't show up on either list, as far as I can tell.)

Anyway, my guess is that there are users with significantly more participation for whom this is also true, and certainly various keywords (graph, algebra, number field) would have many more, and having the search through issues not be complete is worrying (I never assume GH search through code is complete, I've been burned too many times by that). So it could be worth looking into, not just for historical reasons. Or if not, close 😄

[mkoeppe]

But clicking "Next" yields nothing. Or clicking on page 53 is the same thing.

The link that you provided is page 40, and clicking "Next" takes me to page 41, as expected. Page 53 is the last page, and Next is grayed out

For instance, https://34.105.185.241/sagemath/sage-all-2023-01-12-003/issues/2212 doesn't show up on either list, as far as I can tell.

Searching for "author:kcrisman" finds that issue:
https://34.105.185.241/sagemath/sage-all-2023-01-12-003/issues?q=is%3Aissue+is%3Aclosed+author%3Akcrisman+sort%3Acreated-asc

[kcrisman]

The link that you provided is page 40, and clicking "Next" takes me to page 41, as expected. Page 53 is the last page, and Next is grayed out

That is weird. In neither Safari nor Firefox did this work for me; instead, I got a page saying "0 results" or something like that. Also for 53 (not the next page, I didn't mean to imply that). Finally, clicking on "41" yields the same result. And now I just tried yet again in Chrome, and got the same result, so it can't be a cache thing, one would think.

Searching for "author:kcrisman" finds that issue:

Sure, I'm not worried about it per se, but the easiest way to search GH is just typing a string in the issues box, and if it's not finding all instances of (say) cohomology that would be unfortunate. For testing it was easiest to pick something I knew a bit more about 😄

However, if nobody else can verify this, then I guess it must be a phantom. Thanks for checking, anyway.

[mkoeppe]

Better search: involves:kcrisman
https://34.105.185.241/sagemath/sage-all-2023-01-12-003/issues?q=is%3Aissue+involves%3Akcrisman+sort%3Acreated-asc

as documented in https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-a-user-thats-involved-in-an-issue-or-pull-request

[mkoeppe]

Basically we want a version of "Following the pulse of development" that uses GitHub searches instead of Trac reports/searches

[kwankyu]

But clicking "Next" yields nothing. Or clicking on page 53 is the same thing.

The link that you provided is page 40, and clicking "Next" takes me to page 41, as expected. Page 53 is the last page, and Next is grayed out

For me, page 40 is the last page. It seems that pages 41 to 53 are just placeholders (for empty pages...)

[kwankyu]

Basically we want a version of "Following the pulse of development" that uses GitHub searches instead of Trac reports/searches

This is a good topic for the new "Home" page of github wiki.

[kcrisman]

For me, page 40 is the last page. It seems that pages 41 to 53 are just placeholders (for empty pages...)

Okay, so I'm not completely crazy! But 53 seems oddly specific ... and I think that actually there probably are 53 pages of results, they just aren't appearing for some reason. Obviously this is not a show-stopper, but if it happens more regularly we would definitely want to educate people to only use "official" query means such as the ones Matthias outlined.

…

Message ID: ***@***.***>

[kwankyu]

This is a good topic for the new "Home" page of github wiki.

I added some hints to the wiki https://github.com/sagemath/sage/wiki