MPI MIS GitLab

---

---

This is the official Gitlab repository server of the MPI MIS.

---

To use this service, please ask edv@mis.mpg.de for a login invitation. To collaborate with external users, please send their name and email address to the same address.

For an overview of all the features of Gitlab and how to use them in your projects, have a look at this post on the gitlab.com blog.