[Iris-Club] Is chat available now?

[Youngju Song]

Hello -

I tried to join iris-club chat, but it fails.
When I click the purple `GitLab` button on the main page (
https://mattermost.mpi-sws.org/login),
it loads me a page with this message:
```
Error
There is already an account associated with that email address using a sign
in method other than gitlab. Please sign in using gitlab.
```
I was able to join the chat a few month ago.

Thanks a lot!

-- 

Youngju Song (Ph.D Student) <https://sf.snu.ac.kr/youngju.song/>
Software Foundations Laboratory <https://sf.snu.ac.kr/>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20181224/c37abe86/attachment.html>