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 create new labels) > > 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 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 frequently used key words and >> phrases to "c: " labels or other labels. See >> https://github.com/sagemath/trac-to-github/blob/master/migrate.cfg.sagetracmigrationarchive#L44 >> >> On Thursday, September 28, 2023 at 10:28:00 AM UTC-7 Martin R wrote: >> >>> I would like to have trac keywords back. Searching issues in github >>> seems quite difficult, for example, it seems that wildcards are not >>> supported: >>> >>> "is:pr is:open lazypower" finds nothing wereas "is:pr is:open >>> lazypowerseries" does. >>> >>> On trac, I used keywords to collect the issues that concerned me and >>> make them available on one click. I.e., whenever someone submitted >>> something about "FriCAS", I added that keyword, or "LazyPowerSeries", or >>> "species". Of course, I can add keywords myself now, as I could do on >>> trac, but on trac it was easier to remember the keywords I used, because >>> they were available by one click. >>> >>> Is there another way to achieve something similar? >>> >>> Martin >>> >> -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/7f3eb969-8ab8-4b9d-9ff6-d3b967884d71n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/7f3eb969-8ab8-4b9d-9ff6-d3b967884d71n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3a8VzQNb1hF6A7G9yLc0zHbKCxF-nio7P2spTJ_mndbA%40mail.gmail.com.