please see https://trac.sagemath.org/ticket/30737 - the question is how to test this well.
On Tue, Oct 6, 2020 at 11:06 PM Dima Pasechnik <dimp...@gmail.com> wrote: > > On Tue, Oct 6, 2020 at 9:53 PM François Bissey <frp.bis...@gmail.com> wrote: > > > > That’s nice but it looks like there could be improvement to the authors’ > > list. > > Some people appear by handle rather than name. Is it because they don’t > > give their real > > names on GitHub? > > yes, people who are listed by their github handles are ones who don't > have "real" full names on GitHub. > > As far as truncation of the list goes, it seems they always stop at 30 names. > > Not sure how to fix this, hopefully it is possible. > > > Or don’t have a GitHub account? It also looks truncated. > > > > > On 7/10/2020, at 9:46 AM, Dima Pasechnik <dimp...@gmail.com> wrote: > > > > > > We've recovered the settings for getting DOI for Sage releases via > > > zenodo, something that was broken for years. > > > cf https://zenodo.org/record/4066866 > > > and this is DOI for Sage 9.1: https://doi.org/10.5281/zenodo.4066866 > > > > > > -- > > > 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/CAAWYfq1%2BmY1uULNUsEXwOk8rVyYVJ0%3DxJ9EoRp2naDFz7o99xg%40mail.gmail.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/54FC8789-0BA0-4CC6-A273-34E55CB94785%40gmail.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/CAAWYfq1Ee%3D3Bnf3tksksidvasqQWHFSfUojSXoFNrhQ%3DVSoRtg%40mail.gmail.com.
