com uma situação bem específica em que dois repositórios tinham de ter o mesmo histórico de commits
Poderia nos compartilhar que situação é essa? pois simplesmente não faz sentido ter 2 repositórios contendo a mesma coisa
Em resposta a git add, git commit, e git push... não, obrigado?
1