PULL REQUEST - vertaling in Engels

• pull request

Voorbeelden van het gebruik van Pull request in het Nederlands en hun vertalingen in het Engels

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

Branch> zien voor de branch waar deze Pull Request op is gebaseerd.
Branch> for the branch this Pull Request is based on.

Je volgende vraag zou“Hoe refereer ik aan het oude Pull Request?
Your next question may be“How do I reference the old Pull Request?”?

Je zou technisch gesproken de Pull Request in je werk mergen met zoiets als dit.
You could technically merge in the Pull Request work with something like this.

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

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

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

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

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

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

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

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

deze naar GitHub pusht, wordt de Pull Request automatisch gesloten.
push it to GitHub, the Pull Request will automatically be closed.

Op deze manier kan je in de toekomst teruggaan naar deze Pull Request en alle context terugvinden waarop besluiten zijn genomen.
This way if you go back and look at this Pull Request in the future, you can easily find all of the context of why decisions were made.

kan je nu een conversatie voeren met de persoon die de Pull Request geopend heeft.
you can now have a conversation with the person who opened the Pull Request.

Er zijn twee referenties per Pull Request- degene die op/head eindigt wijst naar precies dezelfde commit als de laatste commitin de Pull Request branch.
There are two references per Pull Request- the one that ends in/head points to exactly the same commit as the last commit in the Pull Request branch.

Als we deze in de omschrijving van een Pull Request of Issue zetten, zullen we het als Figure 6-22 getoond zien.
If we include this in the description of our Pull Request or Issue, we will see it rendered like Figure 6-22.

Elke keer als iemand anders commentaar geeft op de Pull Request blijf je e-mails ontvangen zodat je weet dat er activiteit plaatsvindt.
Every time someone else comments on the Pull Request you will continue to get email notifications so you know there is activity happening.

Als iemand een nieuwe Pull Request op GitHub opent en deze hook is opgezet,
If someone opens a new Pull Request on GitHub and this hook is set up,

We hebben het ook gebruikt om GitHub Pull Request wijzigingen die als patch zijn geformatteerd toe te passen in“Email berichten”.
We also use it to apply patch formatted GitHub Pull Request changes in Email Notifications.