Pourquoi un git pull request "pas appelé un "push demande'?

La terminologie utilisée pour fusionner une branche avec un dépôt officiel est un "pull request". Ceci est source de confusion, car il semble que je fais une demande de pousser mes modifications pour le dépôt officiel.

Pourquoi est-il appelé un pull request et pas un push demande?

  • L'image d'un grand arbre vivant. L'arbre est trop robuste pour vous pousser une branche dans l', au lieu de cela, vous devez demander de l'arbre pour en tirer une branche vers le tronc, en le renforçant.
  • Double Possible de Pourquoi ne GitHub appeler les présentations à l'étranger, un "Pull Request"?
  • Si vous utilisez un dépôt distant comme gitihub, l'une des dernières commandes le responsable va exécuter pour répondre à la demande via la ligne de commande est git push. Pour moi tout est dit... (oui, ils peuvent délivrer git pull, puis git push, mais la pression a été demandé et c'est ce qui est en fin de compte se fait)
  • GitLab appelle merge requests. De plus en plus, à mon humble avis. 🙂
  • dupliquer:stackoverflow.com/questions/14817051/...