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: https://docs.github.com/en/issues/planning-and-tracking-with-projects/learning-about-projects/quickstart-for-projects#creating-a-user-project or it can be done on the organization level: https://docs.github.com/en/issues/planning-and-tracking-with-projects/learning-about-projects/quickstart-for-projects#creating-an-organization-project I'm not sure how the latter works permission-wise. Anyway, something to consider. Best regards, Ricardo On Thursday, September 28, 2023 at 7:28:00 PM UTC+2 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/bb79a42a-83d6-4785-8947-1647085d2791n%40googlegroups.com.