Le serveur Gitlab dispose d'une nouvelle clé SSH, merci de la mettre à jours : ssh-keygen -f "~/.ssh/known_hosts" -R "code.electrolab.fr"
use correct macro for irqid (fortunately both point to LPC43_IRQ_EXTINT+18) Approved-by: Gregory Nutt