Informations sur les commandes courtes dans Git
Comme vous le savez déjà, les commandes push
et pull ont des formes courtes.
Si nécessaire, vous pouvez consulter
les branches locales et celles
distantes correspondantes. Cela se fait à l'aide
de la commande que vous connaissez déjà :
git remote show origin
En conséquence, nous verrons les informations suivantes :
Local branch configured for 'git pull':
master merges with remote master
Local ref configured for 'git push':
master pushes to master
Consultez les informations sur les commandes
courtes push et pull.