[submodule "pica-metrics-bot/picasoft-metrics-bot"] path = pica-metrics-bot/picasoft-metrics-bot url = https://gitlab.utc.fr/picasoft/projets/picasoft-metrics-bot.git