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/d859496c-21e0-4403-a6c3-2edb30af8c37n%40googlegroups.com.
