GitHub.dev est une fonctionnalité de GitHub qui vous permet d’ouvrir un éditeur de code directement dans votre navigateur pour modifier les fichiers d’un dépôt GitHub. Voici comment cela fonctionne :…