Archivos que no se usan

[EmilioOcelotl]

Hay archivos que no se usan ¿qué podemos hacer con ellos?

[ninioArtillero]

Yo votaría por eliminar todo lo superfluo: el código vestigial entorpese el repositorio. Según entiendo quedaría todavía registro de su existencia previa en el log.

Podemos hacer uno o varios commits para irlos eliminando, con la antigua función de dichos archivos como comentario. Para esto se puede usar git rm archivo para quitarlo completamente o git rm --cached archivo para quitar el archivo del registro de git, pero manteniéndolo en tu copia local del repo. Luego hacer el commit. Luego hacer push y el pull-request como de costumbre.