A PULL REQUEST - vertaling in Nederlands

• een pull request
• een pull rekest
• een pull verzoek

Voorbeelden van het gebruik van A pull request in het Engels en hun vertalingen in het Nederlands

This is often called a pull request, and you typically generate such a request either via the website- GitHub has its own"Pull Request" mechanism that we will go over in GitHub-
Dit wordt een pull rekest(haal-binnen-verzoek) genoemd, en je kunt deze via de website genereren- GitHub heeft een eigen"Pull Request" mechanisme die we verder zullen behandelen in GitHub

it's all open source so if everybody desires to make a pull request, like, please. That would be excellent.
het is allemaal open source dus als iedereen wil een pull verzoek, als, alsjeblieft. Dat zou uitstekend zijn. Ik heb geen tijd gehad.”.

you can push a topic branch to the repository and open a Pull Request on it to the master branch of that same project to initiate the code review
je hebt beiden schrijfrechten op het project, kan je een topic branch pushen naar de repository en een Pull Request openen naar de master-branch van hetzelfde project om het code review

This is often called a pull request, and you can either generate it via the website- GitHub has a"pull request" button that automatically messages the maintainer-
Dit wordt een pull rekest(haal-binnen-verzoek) genoemd, en je kunt deze via de website genereren- GitHub heeft een"pull rekest" knop die de beheerder automatisch een bericht stuurt-

to the target branch, you can open a Pull Request directly to it.
kan je een Pull Request direct op de Pull Request openen.

You can share by making a‘pull request' with your improvements.
Dat doe je door het maken van een‘pull rekest' met jouw verbeteringen.

Pull Request does not merge cleanly.
Pull Request zal niet netjes mergen.

See the original pull request for details.
Bekijk het originele pull rekest voor de details.

instructions for merging a Pull Request manually.
instructies hoe je een Pull Request handmatig merged.

When you go to open a Pull Request, there is a box at the top of the page that specifies which branch you're requesting to pull to and which you're requesting to pull from.
Als je een Pull Request opent, is er een invoerveld bovenaan op de pagina die aangeeft naar welke branch je wilt laten pullen en welke je het van wilt laten pullen.

When code is proposed with a Pull Request and the maintainers or community suggest a change, the patch series is generally not re-rolled,
Als code wordt voorgesteld met een Pull Request en de beheerders of de gemeenschap een wijziging voorstellen wordt de reeks patches niet opnieuw samengesteld,

So if someone opens a Pull Request in our repository and their branch is named bug-fix and it points to commit a5a775, then in our repository we will not have a bug-fix branch(since that's in their fork), but we will have pull/< pr>/head that points to a5a775.
Dus als iemand in onze repository een Pull Request opent en zijn branch heeft de naam bug-fix' en deze wijst naar commit a5a775, dan zal onze repository geen branch bug-fix aanwezig zijn(omdat deze in hun fork zit), maar we hebben wel pull/< pr>/head die wijst naar a5a775.

assigning people to Issues and Pull Requests, creating and changing labels, accessing commit data, creating new commits and branches, opening, closing or merging Pull Requests, creating and editing teams, commenting on lines of code in a Pull Request, searching the site and on and on.
mensen aan issues en pull requests toewijzen, labels maken en wijzigen, commit gegevens benaderen, nieuwe commits en branches maken, Pull Requests openen, sluiten of mergen, teams maken en wijzigen, reageren op regels code in een Pull Request, op de site zoeken enzovoorts.

After that, we can make a pull request with our changes.
Hierna kunnen we een"pull rekest" maken met onze wijzigingen.

Then we can make a Pull Request for the changes we have made.
Nu kunnen we een"Pull Request" aanmaken voor de wijzigingen die we hebben gemaakt.

It gives you a link to the Pull Request on GitHub.
Het geeft je een link naar de Pull Request op GitHub.

You can even target another Pull Request.
Je kunt zelfs een Pull Request openen op een andere Pull Request.

Task list summary in the Pull Request list.
Samenvatting van taaklijsten in de Pull Request lijst.

Let's start with how to cross-reference another Pull Request or an Issue.
Laten we beginnen met hoe naar een andere Pull Request of Issue te verwijzen.

GitHub actually advertises the Pull Request branches for a repository as sort of pseudo-branches on the server.
GitHub presenteert de Pull Request branches voor een repository als een soort van pseudo-branches op de server.