Dans vos échanges avec les adeptes de GitHub l’expression « forker un repository » revient le plus souvent, il est donc fort probable que vous l’ayez déjà entendu sans pour autant connaître ce que cela signifie.
Cet article sera entièrement consacré à vous édifier sur les questions suivantes : c’est quoi forker un repository GitHub ? Comment procéder pour forker un repository GitHub ? Toutefois avant d’entrer dans le vif du sujet il est important que vous sachiez ce qu’est un fork, voire un fork GitHub et les prérequis pour initier un fork.
Norton Secure VPN 2023 for up to 5 Devices | |
19,99 $ |
En ingénierie, on parle de fork lorsqu’on a un code source et qu’on le copie, pour y effectuer des modifications indépendamment du code source initial. Dans la Blockchain, un fork désigne la modification du protocole de cette dernière ou de certaines de ses règles par une communauté. Qu’en est-il de l’expression forker un repository GitHub ?
En particulier un fork GitHub désigne l’action de cloner ou de dupliquer un repository GitHub d’un compte GitHub vers un autre compte GitHub. Présenté comme tel, vous pouvez apporter des modifications sans impacter le repository principal.
Pour réaliser un fork sur GitHub vous avez besoins des prérequis ci-dessous :
Comment réaliser un fork sur GitHub proprement dit ?
Pour forker un repository sur GitHub, veuillez suivre la procédure suivante :
Après ceci, une autre page vous sera affichée, dans laquelle vous pouvez régler le propriétaire, le nom du repository qui par défaut correspond au nom du repository original ; vous pouvez optionnellement décider d’ajouter une description ; enfin vous pouvez choisir de copier ou pas la branche master ou main du repository original ; validez la création de votre fork en cliquant sur le bouton vert « Create fork »
A présent le repository forké est désormais disponible dans votre compte GitHub ; vous pouvez y apporter des modifications en toute tranquillité sans que cela n’impacte le repository original.
A lire aussi :
Le Samsung Galaxy A16 et le Galaxy A15 sont deux téléphones conçus pour offrir des performances solides à un prix…
Depuis leur lancement, les Xiaomi Pad 7 et 7 Pro attirent l’attention des amateurs de tablettes Android. Ces deux modèles…
Saviez-vous que lorsque que vous êtes connectés sur un Wi-Fi public les risques de vulnérabilités sont très élevés ? En effet,…
Vous avez certainement un WhatsApp qui plante trop, qui vous empêche d’envoyer ou de recevoir des messages. Il s’agit forcement…
Vous êtes bloqué ou vous n’arrivez pas à accéder à un canal sur Telegram ? Ce problème, de plus en plus…
Sortie le 01 Novembre 2024, le OnePlus 13 est le téléphone le plus récent de OnePlus. Il offre des spécifications…