Présentation
GitHub Copilot est un partenaire de codage IA qui fournit des suggestions d’autocomplétion pendant que vous écrivez du code. Vous obtenez des suggestions de Copilot en tapant du code ou en le décrivant en langage naturel.
Copilot analyse votre fichier et les fichiers associés, en proposant des suggestions dans votre éditeur de texte. Il utilise OpenAI Codex, nouveau système d’IA développé par OpenAI, pour pouvoir dériver le contexte à partir du code et des commentaires écrits, puis suggère de nouvelles lignes ou des fonctions entières.
GitHub Codespaces est un environnement de développement hébergé fonctionnant dans le cloud qui peut être exécuté avec Visual Studio Code. Vous pouvez personnaliser l’expérience de développement pour n’importe quel projet de développement sur GitHub, préinstaller les dépendances, les bibliothèques et même les extensions et paramètres Visual Studio Code.
Scénario : Amélioration d’un projet
En tant que développeur, vous souhaitez être plus productif lorsque vous tapez du code pour de nouveaux projets et des projets existants. Pour cette tâche, vous souhaitez savoir si un Assistant IA est l’outil dont vous avez besoin pour améliorer vos workflows de développeur en matière d’écriture de code, de documentation, de tests, etc.
Dans ce module, vous allez apprendre à utiliser GitHub Copilot pour modifier un projet à l’aide d’un prompt pour personnaliser une API Python. Vous verrez également comment utiliser les suggestions en direct une fois le code initial saisi.
À la fin de ce module, vous saurez comment :
- Configurer un dépôt GitHub dans Codespaces et installer l’extension GitHub Copilot.
- Rédiger des prompts pour générer des suggestions à partir de GitHub Copilot.
- Appliquer GitHub Copilot pour améliorer vos projets Python.
Quel est l’objectif principal ?
À l’issue de ce module, vous serez en mesure d’utiliser un prompt pour personnaliser un projet Python avec GitHub Copilot dans GitHub Codespaces.
Prérequis
- Comprendre les bases de Python et des éditeurs de texte.
- Compréhension des notions fondamentales de Git et de GitHub, en particulier l’exécution de commandes
gitde base commegit addetgit push. - Un compte GitHub avec un abonnement actif pour GitHub Copilot est requis pour votre compte GitHub personnel ou un compte GitHub géré par une organisation ou une entreprise. À des fins d’apprentissage, l’option Copilot Free avec des limites d’utilisation doit être suffisante.