Le lundi 30 janvier 2023 à 15:07:36 UTC+1, dim...@gmail.com a écrit : OK, it should be read-only now (for pushing, ticket creating/modifying, other state-changing admin)
Thank you Dima! Logins still work though, but they have no effect on anything, as far as I can see. Please let me know if for some reason you still can modify things! It seems that, once logged in, one can still modify a ticket comment, see https://trac.sagemath.org/ticket/30525#comment:106 Eric. -- 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/a327a441-4153-4173-b6b7-abc219ec7932n%40googlegroups.com.
