GitLab

This section of the documentation was written with a focus on the Arduino IDE, and thus was not very friendly to Arduino CLI users.