"Git filter-branch" se utilizó con éxito para cambiar el autor / autor, pero los cambios no se reflejan en github

Recientemente reemplacé al autor, al remitente y a los correos electrónicos de los mismos en todos mis confirmaciones locales, usando el siguiente comando:

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

Las actualizaciones son inmediatamente evidentes a nivel local (por ejemplo, en mi entorno de SourceTree). Sin embargo, después de forzar el repositorio modificado a GitHub ...

git push -f origin master

… Dos elementos individuales se niegan obstinadamente a que se actualice a su autor y autor: el archivo Gemfile.lock y un directorio de Vistas.

Tenga en cuenta también que:

Esta es la segunda vez que estoy realizando este tipo de operación en este repositorio. Creo que no tuve que enfrentar tales problemas la primera vez.

Buscando mi antiguo nombre en el repositorio ...

$ find . "<oldname">

… hace produce un montón de resultados, lo que significa que el nombre antiguo aún se esconde en muchos de los archivos del repositorio, incluidos los archivos que aparecen actualizados tanto en GitHub como localmente.

Mi pregunta, entonces: ¿Cómo puedo cambiar el autor / autor de los dos archivos "rebeldes" en GitHub?

Respuestas a la pregunta(2)

Su respuesta a la pregunta