"Git Filter-Branch" wurde erfolgreich verwendet, um Committer / Autor zu ändern, aber Änderungen wirken sich nicht auf Github aus

Ich habe kürzlich den Autor, den Committer und die E-Mails in allen meinen lokalen Commits mit dem folgenden Befehl ersetzt:

git filter-branch -f --env-filter '
if [ "$GIT_COMMITTER_NAME" = "oldname" ];
then
    GIT_COMMITTER_NAME="newname";
    GIT_COMMITTER_EMAIL="newaddr";
    GIT_AUTHOR_NAME="newname";
    GIT_AUTHOR_EMAIL="newaddr";
fi

if [ "$GIT_AUTHOR_NAME" = "oldname" ];
then
    GIT_COMMITTER_NAME="newname";
    GIT_COMMITTER_EMAIL="newaddr";
    GIT_AUTHOR_NAME="newname";
    GIT_AUTHOR_EMAIL="newaddr";
fi
' -- --all

Die Updates werden sofort lokal angezeigt (z. B. in meiner SourceTree-Umgebung). Nach dem erzwungenen Verschieben des geänderten Repositorys auf GitHub ...

git push -f origin master

… Zwei einzelne Elemente sich hartnäckig weigern, ihren Committer und Autor aktualisieren zu lassen: die Datei Gemfile.lock und ein Views-Verzeichnis.

Bitte beachten Sie auch, dass:

Dies ist das zweite Mal, dass ich diese Art von Operation für dieses Repository durchführe. Ich glaube, dass ich mich beim ersten Mal nicht mit solchen Problemen konfrontiert sah.

Suche nach meinem alten Namen im Repository ...

$ find . "<oldname">

… tut Sie erhalten eine Reihe von Ergebnissen, was bedeutet, dass der alte Name immer noch in vielen Repository-Dateien lauert - einschließlich Dateien, die sowohl auf GitHub als auch lokal aktualisiert werden.

Meine Frage also: Wie kann ich den Committer / Autor der beiden "hartnäckigen" Dateien auf GitHub ändern?

Antworten auf die Frage(2)

Ihre Antwort auf die Frage