Cloner un dépôt et lancer un micro à partir de zéro
Objectif : partir d’un micro que vous n’avez même pas cloné et finir avec lui en cours d’exécution en local.
1. Liez votre compte Git (si le dépôt est privé)
Section intitulée « 1. Liez votre compte Git (si le dépôt est privé) »Dans Paramètres → Connexions Git, ajoutez une connexion pour l’hôte (GitHub, GitLab ou autre) avec un jeton en lecture seule. MicroLab l’utilisera pour cloner les dépôts privés de cet hôte. Pas nécessaire pour les dépôts publics.
2. Importez le micro depuis Git
Section intitulée « 2. Importez le micro depuis Git »Dans la section Micros, utilisez Importer un micro depuis Git : collez l’URL du dépôt et choisissez le dossier de destination. MicroLab clone le dépôt et autodétecte le micro (stack, ports, infra, dépendances) en une étape, en vous montrant le détecté avant de l’enregistrer.
Si vous avez déjà le dépôt sur le disque, sautez ceci et utilisez + Ajouter un micro en choisissant son dossier.
3. Vérifiez l’environnement
Section intitulée « 3. Vérifiez l’environnement »Créez un scénario avec ce micro (ou ajoutez-le à un) et ouvrez la Vérification de l’environnement : elle vous dira s’il vous manque un outil, un identifiant ou Docker avant de lancer. Corrigez les échecs qu’elle marque.
4. Lancez
Section intitulée « 4. Lancez »Avec Docker démarré, cliquez sur ▶ Démarrer. Si le micro appelle d’autres cores que vous n’avez pas ou ne voulez pas lancer, résolvez ces dépendances en mock ou cloud.