1) there is something funny with search - it it because it's still not done?
https://github.com/sagemath/sage/issues?q=is%3Aissue+strongly+regular+is%3Aopen gives 5 Open 71 Closed No results matched your search. ---------------- so there are 5 open issues, but they are not shown. (searching for closed ones seems to work) ---------------- 2) GitHub nathanncohen is a real GitHub account, not a mannequin - and it corresponds to Trac's ncohen just fine. On Sat, Feb 4, 2023 at 10:38 AM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > > The first preview is now available at https://github.com/sagemath/sage > (it is "archived", i.e., read-only). > > -- > 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/841273d5-4bca-40a5-afbf-6c4fccde8b4dn%40googlegroups.com. -- 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/CAAWYfq2DQ%3DpXhHVbdHD3YTO7iLt%3DefY_Ek_%2BHnL0Gi%2BFHAJL5w%40mail.gmail.com.