Git: eliminó un file remoto, cómo restaurarlo

Tengo un git local, hice un commit (digamos mi tercer commit), luego presioné al origen en un website remoto.

Inadvertidamente borré un file remoto , ahora traté de volver a presionar con:

git push origin master

pero devuelve " Everything up-to-date "

No estoy seguro de haber eliminado otros files, así que ¿cómo puedo presionar a distancia y "sobrescribir / agregar files perdidos" a la última confirmación local?

git push origin <your_branch_name> --force

Aunque esto puede resolver su problema. Tenga cuidado, ya que este es un command peligroso.

Vea la explicación aquí: ¿Cómo fuerzo correctamente un empuje de Git?