That's an excellent suggestion, it might work quite well for me. I just
created a list of issues and pull requests for the lazy series theme. One
thing which would be nice, but is probably not possible: I'd like to see in
the sagemath/sage list of issues whether an issue happens to be part of
On Fri, Sep 29, 2023 at 4:13 AM kcrisman wrote:
> GitHub search is terrible, and I don't understand why. I often (not on this
> project) search for words (not just text strings) that I know I present
> multiple times in the codebase, and get no results at all. Sort of defeats
> the point of
On Thursday, September 28, 2023 at 3:52:30 PM UTC-4 Dima Pasechnik wrote:
it should be possible to search for patterns in commit messages across PRs
- this info is in the git tree.
GitHub metadata is harder to search, and I am quite surprised how limited
their search options are.
GitHub
On Fri, 29 Sept 2023, 08:30 'Martin R' via sage-devel, <
sage-devel@googlegroups.com> wrote:
> It was possible to click on a keyword in the ticket description and get
> all the tickets with the same keyword.
>
one can use GitHub's labels for this.
(the only problem here is that not anyone can
As for another way to achieve something similar: there are Projects where
you can make a table of issues (and you can add extra columns to the table,
such as a Notes column).
You can do it privately:
It was possible to click on a keyword in the ticket description and get all
the tickets with the same keyword.
On Thursday, 28 September 2023 at 21:46:57 UTC+2 Matthias Koeppe wrote:
> On Trac, keywords were completely free-form; there was nothing to click,
> and there wasn't an agreement
For completeness, I'll mention that there was a short-lived effort 13 years
ago to make a catalog of keywords to use; see
https://wiki.sagemath.org/TracKeywords?action=info
On Thursday, September 28, 2023 at 12:46:57 PM UTC-7 Matthias Koeppe wrote:
> On Trac, keywords were completely
it should be possible to search for patterns in commit messages across PRs
- this info is in the git tree.
GitHub metadata is harder to search, and I am quite surprised how limited
their search options are.
On Thu, 28 Sept 2023, 20:46 Matthias Koeppe,
wrote:
> On Trac, keywords were completely
On Trac, keywords were completely free-form; there was nothing to click,
and there wasn't an agreement whether multiple keywords are separated by
whitespaces or commas or semicolons.
In the migration, we did a frequency count of words and phrases used there
and transformed some of the most
