2009/3/25 Irene Ros <imirene@xxxxxxxxx>: > Hi Daniel, > > Thank you for the explanation, doing a git fetch actually did do the > trick although I still don't quite see the difference between > git pull origin myBranch This fetches myBranch from origin, and merges with the current branch. > and > git fetch This fetches and *saves* the configured branches (all by default) from the configured remote (origin by default). > > When I push to origin myBranch it's clear that it actually pushes my > changes to our remote repository since others can then pull and get > them. So is it the case that: > > git push ==> actual remote repository > while > git pull <== local copy of remote repository for this branch ? I don't know if I understand correctly, but pull always uses the branches from the remote repository, but depending on how you call it it will also update the local copy (origin/*). HTH, Santi -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
