Comment changer l'auteur d'une PR sur GitHub?

Question

Je veux savoir s'il existe un moyen de changer la personne (compte) qui a poussé des modifications dans un dépôt GitHub.

Par exemple: Je pousse vers mon dépôt privé sous un nom différent (pas e-mail) mais j'écorche une lettre de mon nom et GitHub mentionne le commit comme étant commis par utilisateur non utilisateur;

Answer 1

Je vous suggère de corriger le committer. Rappelez-vous qu'il y a une différence entre l'utilisateur qui commet et le committer. Le committer est signé à l'intérieur du dossier .git/config:

$ cat .git/config
[user]
    name = John Doe
    email = john.doe@example.com

Maintenant, vous avez juste besoin de faire un git commit --amend et un git push origin BRANCH -f. La première commande commit à nouveau (mais cette fois avec le committer mis à jour). La deuxième écrase la branche.

Answer 2

Je fais une faute d'orthographe sur une lettre de mon nom et GitHub marque le commit

\==> dans ce cas, vous avez besoin de faire un rebase.

La tâche de demande de tirage ne fonctionne que sur l'interface Web, ce n'est pas une commande Git sous-jacente.

(1) Supprimez la demande de tirage actuelle.

(2) Faites un rebase de votre commit avec les informations d'identification que vous souhaitez (email, nom).

(3) Créez une nouvelle demande de tirage.