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

• de pull request

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

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

This way people may actually read the guidelines before opening the Pull Request.
Op deze manier zouden mensen de richtlijnen misschien echt lezen voordat ze een Pull Request openen.

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

patch versions of the Pull Request.
patch versies van de Pull Request geven.

Manually change the Pull Request target fork and branch.
Handmatig de Pull Request doelfork en-branch wijzigen.

Anyone can also leave general comments on the Pull Request.
Het is iedereen toegestaan om algemene commentaren op het Pull Request te maken.

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

You can see an example of this in Task list summary in the Pull Request list.
Je kunt een voorbeeld hiervan zien in Samenvatting van taaklijsten in de Pull Request lijst.

Once you do that, the Pull Request will be automatically updated
Als je dat gedaan hebt zal de Pull Request automatisch geupdate worden

This description will be the title of the pull request we are going to make.
Deze beschrijving zal de titel zijn van de"pull rekest" die we gaan maken.

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

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.

It will give you a small diffstat- a list of files that have changed in the Pull Request and by how much.
Het geeft je een kleine diffstat- een lijst met bestanden die gewijzigd zijn in de Pull Request en hoezeer ze zijn gewijzigd.

There's also a way to fetch all of the pull requests, and keep them up to date whenever you connect to the remote.
Er is ook een manier om alle pull requests te fetchen en ze up-to-date te houden elke keer als je contact maakt met de remote.

switch to a topic branch and then run this command to merge in the Pull Request changes.
ernaar switchen en dit commando aanroepen om de Pull Request wijzigingen erin te mergen.

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

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

You can also see that the Pull Request takes the status of the last commit on the branch
Je kunt ook zien dat de Pull Request de status krijgt van de laatste commit op de branch

The description contains more detailed information about the Pull request and some information how to test it.
De beschrijving bevat meer detailleerde informatie over de Pull Request en informatie over hoe deze getest kan worden.

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.
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.

you can also just close the Pull Request and the person who opened it will be notified.
kan je ook gewoon het Pull Request sluiten en de persoon die het geopend heeft krijgt een berichtje.

the original author made a change that would create a conflict in the Pull Request.
de oorspronkelijke auteur een wijziging gemaakt heeft die een conflict in het Pull Request veroorzaakt.

The other thing you will notice is that GitHub checks to see if the Pull Request merges cleanly
Het andere wat je zult zien is dat GitHub controleert of de Pull Request goed zou mergen

This is often used in Pull Requests to indicate what all you would like to get done on the branch before the Pull Request will be ready to merge.
Dit wordt vaak in een Pull Request gebruikt om aan te geven wat je allemaal gedaan wilt zien op de branch voordat de Pull Request klaar is om te mergen.

Once the maintainer makes this comment, the person who opened the Pull Request(and indeed, anyone else watching the repository)
Als de onderhouder dit commentaar eenmaal heeft gemaakt zal de persoon die de Pull Request heeft geopend(en verder iedereen die deze repository volgt)

it is highly encouraged to not force push over the branch that the Pull Request is already opened on.
het wordt je sterk aangeraden om niet te force pushen naar de branch waar al een Pull Request op is geopend.

They will each have a link to the Pull Request where the activity is happening and you can also directly respond to the email to comment on the Pull Request thread.
Alle betrokkenen krijgen een link naar de Pull Request waar de activiteit op plaatsvindt en je kunt ook reageren op de email om commentaar op de Pull Request converstatie te geven.

GitHub has automatically created a trackback event in the Pull Request timeline.
GitHub heeft automatisch een terugslag gebeurtenis aangemaakt in de tijdslijn van het Pull Request.

They will each have a link to the Pull Request where the activity is happening and you can also directly respond to the email to comment on the Pull Request thread.
Alle betrokkenen krijgen een link naar de Pull Request waar de activiteit op plaatsvindt en je kunt ook direct de mail beantwoorden(reply-to) om commentaar op de Pull Request conversatie te geven.

into your topic branch, fix any issues and finally push it back up to the same branch you opened the Pull Request on.
daarna je topic branch weer terugpushen naar dezelfde branch als waar je de Pull Request op geopend hebt.