From 6b687913811777d18567abc42da6e14c6364eec8 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Mon, 21 Dec 2020 08:52:54 +0100 Subject: [PATCH] Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index e3c054c..3832179 100644 --- a/README.md +++ b/README.md @@ -83,9 +83,9 @@ their discussion areas. ## Logistics once you have a topic We do most of our collaboration via git, zoom, and mattermost. -You should do the following: +You should do the following (all steps are important): -* Go to https://gl.kwarc.info and log in with your GitHub account - that is where we store all our papers, theses, etc. -* Go to https://gl.mathhub.info and log in with your GitHub account - that is where we store all our formalizations +* 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 * Go to https://fau.zoom.us/j/576591784 to join the weekly group meeting via zoom. -- GitLab