@@ -87,5 +87,5 @@ You should do the following (all steps are important):
* Go to https://gl.kwarc.info and log in with your GitHub account (click on the octocat logo) - that is where we store all our papers, theses, etc. and we do much of the project planning via GitLab issues.
* Go to https://gl.mathhub.info and log in with your GitHub account (again, click on the octocat logo) - that is where we store all our formalizations
*Go to https://mattermost.kwarc.info and log in with the same credentials as for https://gl.kwarc.info - that is where we do all our day-to-day asynchronous communication, join channels and write direct messages as needed to get set up
*Join FAU's matrix server using the instructions at https://www.anleitungen.rrze.fau.de/serverdienste/matrix-an-der-fau/ and join the Kwarc space there - that is where we do all our day-to-day asynchronous communication, join relevant channels and write direct messages as needed to get set up
* Go to https://fau.zoom.us/j/576591784 to join the weekly group meeting via zoom.
