Github vs gitlab - which MAJA code should I use? about maja HOT 3 OPEN

We are happy to hear that you want to contribute to Maja!
The gitlab is our main development platform. Due to the past project (named StartMaja) being available here on github, we decided to keep a mirror of the gitlab here as well. You can check the status of the develop branch by verifying the CI history of each commit there - If it passes, it is generally safe to use.

We are in the process of revising the contributing.md on how to contribute to Maja, as there was already some confusion between gitlab vs. github. In general, bugs etc. should be reported directly on the gitlab as the developers are more likely to check there.

Kind regards,
Peter

from maja.

Guys, you should REALLY put this on the front page with a link! Otherwise, looking at the last commits people might think no development is going on at all which is a no-go for adoption. I think you can even disable the issue page here and maybe it's even possible to transfer issues.

from maja.

You are right, of course ! But days are short for a small team ;)

from maja.