Bonjour,
Je ne comprends pas pourquoi quand je fais un git pull d'un serveur remote , en local le remote head n'est pas mis à jour.
[mungo@int2 MonAgenda]$ git show-branch -a
* [master] WORK 20091113
! [proxy/master] WORK 20091113
! [origin/HEAD] WORK 20091113
! [origin/master] WORK 20091113
----
*+++ [master] WORK 20091113
[mungo@int2 MonAgenda]$ git pull proxy master remote: Counting objects: 8, done. remote: Compressing objects: 100% (6/6), done. remote: Total 6 (delta 4), reused 0 (delta 0) Unpacking objects: (…)