[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] TLA+ community meeting 2020

On 15.09.20 13:16, Shuhao Wu wrote:
> I've attempted to join the virtual hall track via the mattermost server.
> However, after registration I'm presented a screen saying: "No teams are
> available to join. Please ask your administrator for an invite."
> Am I missing a step somewhere in this process?

Hi Shuhao,

from what I see on Mattermost, your account is active now. Please reach
out to me directly if there is still a problem.

I also fixed the underlying issue in Mattermost (un-deleted a channel
that we are not supposed to delete) to prevent this issue for future


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/52651790-b3de-c83b-43f6-bf354b7aff8f%40lemmster.de.