From ffc6947e12e45feeeeb3bf71d290574e8ce0ef69 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Fri, 9 Oct 2020 17:09:02 +0200
Subject: [PATCH] Update README.md

---
 README.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/README.md b/README.md
index 724d635..2a0b43a 100644
--- a/README.md
+++ b/README.md
@@ -77,3 +77,13 @@ their discussion areas.
 * UIs and Interaction with all of this: #8 #13
 * Application of machine learning techniques to generating semantic data: #14
 * Legal reasoning and argumentation: #23 #29 #30
+
+## Logistics once you have a topic
+
+We do most of our collaboration via git, zoom, and mattermost.
+You should do the following:
+
+* Go to gl.kwarc.info and log in with your GitHub account - that is where we store all our papers, theses, etc.
+* Go to gl.mathhub.info and log in with your GitHub account - that is where we store all our formalizations
+* Go to mattermost.kwarc.info and log in with the same credentials as for 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
+* Go to https://fau.zoom.us/j/576591784 to join the weekly group meeting via zoom.
-- 
GitLab