pull request (PR) -> αίτημα έλξης


  • Administrator
  • Hero Member
  • *****
    • Posts: 815991
    • Gender:Male
  • point d’amour
pull request (PR) ->  αίτημα έλξης

The term "pull request" comes from git, where the git pull command is used to merge a different repository into your local one. So if someone else has a copy of your git repository, and makes changes to it that they would like you to incorporate, they can ask you to pull the changes from their repository; they're requesting a pull, hence the term "pull request".

Nowadays for most users this tends to be hidden behind a graphical interface of some sort, on Github or Bitbucket or via Gerrit for example; but the principle remains the same: someone copies your repository, makes changes and requests them to be merged into your own copy, presumably after you've reviewed them.


Search Tools