and to fix the remaining doc-cleaning issue, please upgrade again to the master branch of github (aka tag 3.0.4)
(I would appreciate answers, rather than full silence) Frédéric Le vendredi 14 janvier 2022 à 21:25:11 UTC+1, Frédéric Chapoton a écrit : > also patchbots have persistent problems with building docs. Can the people > that changed something to doc-building please repair the patchbot > accordingly ? pull request on github, please > > https://patchbot.sagemath.org/ticket/33157/ > > Le vendredi 14 janvier 2022 à 17:40:27 UTC+1, Frédéric Chapoton a écrit : > >> Hello, >> github has removed the git: protocol. So patchbots need to be updated. >> please update your patchbot to the latest available tag >> Frédéric >> >> -- 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/8995caff-be49-41d2-8396-1337fb5ea569n%40googlegroups.com.
