Màj article GitHub et Git Extensions  : gestion d'un fork et merge