diff --git a/README.md b/README.md index e3c054c3e02a1c043a1125c791886471454816aa..3832179064911ea399baf878d6e5c03e15dd65d2 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.