Eu tenho 3 repos. Um repositório simples que eu uso como um repositório principal, um repositório de desenvolvimento no qual faço e testo alterações e um repositório de produtos a partir do qual os scripts são executados no ambiente de produtos.

Depois de testar as alterações no repositório de desenvolvimento, eu as empurro para o repositório simples e elas são puxadas automaticamente para o repositório de produtos em um cronjob usando um script básico (executando o comando git pull).

Eu segui o procedimento acima para uma alteração, mas o arquivo alterado não será atualizado no repositório do produto.

A alteração é registrada e enviada no repositório devA atração foi feita para o repositório de produtosOs logs git para todos os repositórios são idênticos e todos mostram o check-in para essa alteraçãoO ramo git me dá "* master" para todos os repositóriosO status git para todos os repositórios me fornece: # No mestre da filial, nada a confirmar, diretório de trabalho limpogit pull me dá "Já atualizado" para os repositórios dev & prod

Usando extensões git para uma visualização gráfica, parece que cada repositório está atualizado e à frente.

Eu tentei:

git checkout HEAD  
git pull origin master  
git reset --hard HEAD  
git reset --hard origin/master  
git reset origin/master  

Alguém pode ajudar aqui?