Toutes sortes d’idées et de guides sur des outils de développement modernes. Chaque fois que je réussis à résoudre un problème particulier, j'aime partager l'information ici au cas que l'information soit utile pour d'autres personnes. Des fois, je partage aussi des choses et guides d'installation juste au cas où j'en aurais besoin plus tard.
In 2019, I tried to get this very blog to be deployed automatically to the production server after each push to the corresponding GitHub repo. A couple of issues were found and after much frustration, the whole idea was scrapped. Fast forward many months later, and with new experience acquired and new tools available since, it was time to try again.