What is the translation of " A PULL REQUEST " in Dutch?

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

Examples of using A pull request in English and their translations into Dutch

Cross references in a Pull Request.
Verwijzingen in een Pull Request.

A pull request doesn't have to represent finished work.
Een pull-verzoek hoeft niet het voltooide werk te vertegenwoordigen.

Cross references rendered in a Pull Request.
Verwijzing getoond in een Pull Request.

Please make a pull request on GitHub.
U kunt een pull verzoek op Github GitHub maken.

Cross references rendered in a Pull Request.
Verwijzingen getoond in een Pull Request.

You should usually open a pull request in the following situations.
U moet gewoonlijk een pull-aanvraag openen in de volgende situaties.

We can fill out the description just like Cross references in a Pull Request.
We maken de beschrijving als in Verwijzingen in een Pull Request.

Opening a Pull Request when a CONTRIBUTING file exists.
Een Pull Request openen als er een CONTRIBUTING file bestaan.

This makes it super easy to try the code from a pull request locally.
Dat maakt het enorm makkelijk om de code van een pull rekest lokaal uit te checken.

If a Pull Request is successfully tested twice, a moderator will add the label'RTC' to it.
Als de Pull Request twee maal succesvol is getest voegt een moderator het label"RTC" toe.

Json file are insufficient then update them by submitting a Pull Request.
Json bestand onvoldoende is werk het dan bij door een Pull Request uit te voeren.

A pull request is a request to the owner to pull some code into the project.
Een Pull Request is een verzoek aan de eigenaar om wat code in het project te plaatsen.

or make a pull request yourself!
maak zelf een pull rekest!

A Pull Request is a request to pull some code to a repository(project) on GitHub.
Een Pull Request is een verzoek om code toe te voegen aan een Repository(project) op GitHub.

Someone comes along and makes a change to your code and sends you a Pull Request.
Er is nu iemand die een wijziging op je code gemaakt heeft en die je een Pull Request stuurt.

It's important to note that you can also open a Pull Request between two branches in the same repository.
Het is belangrijk op te merken dat je ook een Pull Request kunt openen tussen twee branches in dezelfde repository.

When you made a Pull Request of an issue on GitHub, it is very common to add also the issue ID in the description.
Wanneer je een Pull Request maakt is het ook de gewoonte om het issue ID te vermelden in de beschrijving.

When we submit this pull request, we will see all of that rendered like Cross references rendered in a Pull Request.
Als we deze pull rekest indienen, zien we dit alles getoond als Verwijzingen getoond in een Pull Request.

For instance, if Jessica wants to send John a pull request, and she's done two commits on the topic branch she just pushed,
Bijvoorbeeld, als Jessica John een pull rekest wil sturen, en ze heeft twee commits gedaan op de topic branch

don't want in a Pull Request sent to your project.
niet wilt in een Pull Request die aan je project wordt gestuurd.

For example, if you have a Pull Request with tasks and you look at the overview page of all Pull Requests,
Bijvoorbeeld, als je een Pull Request hebt met taken en je kijkt naar de overzichtspagina van alle Pull Requesten,

feel free to submit a pull request to fix any bugs you might find.
voel je vrij om een pull verzoek om te bevestigen eventuele bugs die u zou kunnen vinden.

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-

GitHub will show Figure 6-42 when anyone starts opening a Pull Request.
met een willekeurige extensie, zal GitHub Figure 6-42 tonen als iemand een Pull Request gaat openen.

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

let's go over what to do when you get a Pull Request yourself.
laten we eens behandelen wat je moet doen als je zelf een Pull Request ontvangt.

This is often called a pull request, and you can either generate it via the website- GitHub has its own Pull Request mechanism that we will go over in Chapter 6-
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 Chapter 6

master branch, you can actually open a Pull Request targeting any branch in the network.
je kunt zelfs een Pull Request openen die betrekking heeft op elke willekeurige branch in het netwerk.

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

how to change the status of a Pull Request through the API.
hoe de status van een Pull Request te wijzigen middels de API.