Groupes réseau pour la topologie de projet, et un correctif de reconnexion GitHub

Groupes réseau : sur les plans Starter et supérieurs, créez des groupes réseau nommés au sein d'un projet et choisissez précisément quelles apps peuvent communiquer entre elles. Chaque projet a désormais un onglet dédié Groupes réseau pour les gérer.
Sur le plan Free, toutes les apps d'un projet restent automatiquement maillées entre elles comme avant, désormais affiché en lecture seule dans l'onglet Topologie avec un badge indiquant qu'il s'agit d'une fonctionnalité des plans payants.
La vue de topologie réseau est désormais pilotée par des données réelles de bout en bout au lieu d'un réseau unique codé en dur, et les Pierrr Agents auto-hébergés peuvent resynchroniser leur état réseau sans rebuild.

Correction d'un bug où reconnecter une organisation à un compte GitHub après une première liaison créait un enregistrement d'installation dupliqué, cassant le mappage entre dépôts et apps. Une reconnexion met désormais correctement à jour la liaison existante au lieu d'en créer une nouvelle.

Les captures d'écran de l'onglet Groupes réseau arriveront une fois les écrans passés en production.