Git est un logiciel de gestion de versions décentralisée. GitHub est un service web d'hébergement et de gestion de développement de logiciels, utilisant le programme Git. L'article explique comment effectuer le fameux "pull request" sur son dépôt local.