31-01-2011, 03:36 PM
Ce n'est surtout plus vraiment à jour. Toutefois, le raisonnement sera grossièrement le même.
Tu merge en local, tu push sur Github. Tu pull sur le serveur distant.
Tu merge en local, tu push sur Github. Tu pull sur le serveur distant.