Après avoir maintenu notre petit CMS statique (pandoc + makefile + gitlab + docker), on a atteint les limites (25 minutes pour pousser en prod, c’est long pour un site web) et on a décidé de migrer sur grav.