Migration to GitLab
Consolidating our tools, we're moving MARV Robotics to GitLab. We hope you follow us there. Please let us know if this causes you any inconvenience.
During import issues, pull requests, and comments will be associated to your user accounts on GitLab. For this to work, they need to exist before importing.
There are two options:
- You log into gitlab using your github Account OR
- You create a gitlab account with an email address that matches the public email address of your github user
We kindly ask you to do this until February 15th. After that we'll do the import and notify you here.
Users having created issues or pull requests that so far do not have a matching gitlab account:
- @ggaessler
- @schra
- @Sekuraz
- @pahemme
- @tigelbri
- @new-in-ros
- @ddimarco
- @huangjiangliang
- @jpsamper2009
- @luator
- @ugocupcic
- @mikepurvis