« Git/pull-request » : différence entre les versions

Si le message provient d'une interface graphique, essayer de la fermer et de lancer la synchro en shell, avec <code>git push</code>. Cela peut donner un message plus précis, ex :

remote: error: By default, updating the current branch in a non-bare repository is denied, because it will make the index and work tree inconsistent

 

Sinon, copier les fichiers locaux dans un autre dossier (parent), et recloner avant de les replacer.