De qualquer forma, para empurrar o último commit de um usuário via git através do github?

Question

Eu tenho uma conta da organização pelo github e recentemente tivemos que remover um usuário da organização.

• O usuário nunca atualizou as últimas alterações feitas.
• Não temos acesso à conta real do github que o usuário usou.
• No entanto, temos acesso ao servidor em que eles trabalharam.

O problema é que o usuário fez um commit sem um push, e tentar fazer um push no servidor em seu antigo ambiente de trabalho falha, já que não temos as credenciais dessa conta do github.

Eu tenho direitos de propriedade / direitos de administrador para a conta da organização, por isso estou querendo saber se alguém sabe de alguma coisa que eu possa fazer através do git para substituir as credenciais?

Eu infelizmente vou ficar preso fazendo um longo e manual detalhamento de tudo para rastrear mudanças de outra forma e descobrir o que é o compromisso que essa pessoa já fez, já que eles fizeram muitos - apenas nunca empurrando essas mudanças para cima / para fora? / p>