Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Registering not available


view this post on Zulip Email Gateway (Oct 14 2020 at 08:36):

From: Mathias Fleury <mathias.fleury12@gmail.com>
Hi all,

Hans-Jörg noticed that registering on the mailing list is currently not
available -- it produces an error message. If I go to
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
and try to subscribe by giving an email address, I get the following error:

»Forbidden

You don't have permission to access this resource.«

Does anyone know what is going on?

Thanks,

Mathias Fleury

view this post on Zulip Email Gateway (Oct 14 2020 at 10:10):

From: Peter Lammich <lammich@in.tum.de>
This is strange. I used to be admin of this list, but find myself
locked out from the admin interface!

@Manuel: have you changed the passwords or settings?

view this post on Zulip Email Gateway (Oct 14 2020 at 12:44):

From: Manuel Eberl <eberlm@in.tum.de>
I didn't do anything, and I was able to log into the admin interface a
few days ago without any problems.

Peter privately told me it works again for him now, so perhaps those who
were affected should try again.

Manuel

view this post on Zulip Email Gateway (Oct 14 2020 at 13:29):

From: Tobias Nipkow <nipkow@in.tum.de>
Thanks for alerting us. Should be back to nomal now.

Tobias
smime.p7s


Last updated: Mar 04 2024 at 10:08 UTC