Chaque fois qu’un commit est poussé (push) sur GitHub Enterprise, il est lié à un compte d’utilisateur s’ils sont tous deux associés à la même adresse e-mail. Toutefois, les commits existants ne sont pas liés de manière rétroactive quand un utilisateur inscrit une nouvelle adresse e-mail ou crée un compte.
- À partir d’un compte d’administration sur GitHub Enterprise Server, cliquez sur en haut à droite de n’importe quelle page.
- Si vous ne figurez pas déjà sur la page « Administrateur du site », dans le coin supérieur gauche, cliquez sur Administrateur du site. 1. Sous « Rechercher dans les utilisateurs, organisations, équipes, dépôts, gists et applications », tapez le nom de l’utilisateur dans le champ de texte.
- À droite du champ de texte, cliquez sur Rechercher.
- Si une correspondance exacte de nom de compte est introuvable, sous « Résultats de la recherche – Comptes », dans la section « Correspondances approximatives », cliquez sur le nom de l’utilisateur que vous souhaitez gérer.
1. Passez en revue les détails utilisateur dans la page de l’administrateur de site pour vérifier que vous avez identifié le bon utilisateur. 1. Dans le coin supérieur droit de la page, cliquez sur Administrateur.
- Si une correspondance exacte de nom de compte est introuvable, sous « Résultats de la recherche – Comptes », dans la section « Correspondances approximatives », cliquez sur le nom de l’utilisateur que vous souhaitez gérer.
- À droite de « Recréer les données des contributions de commit », cliquez sur Recréer.
Vous devez voir la bannière « Recréer les travaux de contributions de commit en file d’attente » en haut de l’écran indiquant que GitHub Enterprise va maintenant démarrer les travaux en arrière-plan pour lier à nouveau les commits au compte de cet utilisateur.