Wat Betekent PULL REQUEST in het Nederlands - Nederlands Vertaling

pull request
solicitud de extracción
pull requests

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

{-}
  • Colloquial category close
  • Official category close
  • Medicine category close
  • Financial category close
  • Ecclesiastic category close
  • Ecclesiastic category close
  • Official/political category close
  • Computer category close
  • Programming category close
Pull Request que no puede fusionarse limpiamente.
Pull Request zal niet netjes mergen.
Pero hace muy fácil probar el código de un pull request en local:.
Dat maakt het enorm makkelijk om de code van een pull rekest lokaal uit te checken:.
Si se aprueba todo, el pull request se integrará en la base de código!
Als dit alles is goedgekeurd, kan het pull request worden samengevoegd in de codebase!
Abre un issue en el repositorio de Github, o haz un pull request tu mismo!
Maak een ticket aan op de Github Repo, of maak zelf een pull request!
Esto significa que cualquiera que visite este Pull Request y vea que está cerrado, puede fácilmente enlazarlo al que lo hizo obsoleto.
Dit betekent dat iedereen die dit Pull Request bezoekt en ziet dat het is gesloten eenvoudig kan teruglinken naar degene die het overschrijft.
Como verás en Botón Merge e instrucciones para fusionar manualmente un Pull Request.
Zoals je kunt zien in Merge knop en instructies hoe je een Pull Request handmatig merged.
Consigue total visibilidad sobre las compilaciones, los pull request, los despliegues y mucho más.
Krijg volledig inzicht in builds, pull-aanvragen, implementaties enzovoort.
Si tienes un fichero con ese nombre y cualquier extensión,GitHub mostrará algo como Figure 6-42 cuando se intente abrir un Pull Request.
Als je een bestand genaamd CONTRIBUTING met een willekeurige extensie,zal GitHub Figure 6-42 tonen als iemand een Pull Request gaat openen.
Si decides que no quieres fusionar,también puedes cerrar el Pull Request y la persona que lo creó será notificada.
Als je besluit dat je het niet wilt mergen,kan je ook gewoon het Pull Request sluiten en de persoon die het geopend heeft krijgt een berichtje.
Hay dos referencias por cada Pull Request, la que termina en/head apunta exactamente al último commit de la rama del 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.
Ahora que tienes un proyecto con algo de código, y probablemente algunos colaboradores con acceso de escritura,veamos qué pasa cuando alguien te hace un Pull Request.
Nu je een project hebt met wat code erin en misschien zelfs een paar medewerkers die ook push toegang hebben,laten we eens behandelen wat je moet doen als je zelf een Pull Request ontvangt.
De este modo, si vuelves a mirar el Pull Request en el futuro, puedes encontrar fácilmente todo el contexto con todas las decisiones tomadas.
Op deze manier kan je in de toekomst teruggaan naar deze Pull Request en alle context terugvinden waarop besluiten zijn genomen.
Puedes comentar líneas concretas de código,comentar commits completos o comentar el Pull Request en sí mismo, utilizando donde quieras el formato Markdown.
Je kunt commentaar geven op specifieke regels code,commentaar geven op hele commits of commentaar geven over de gehele Pull Request; waarbij de GitHub smaak van Markdown overal gebruikt kan worden.
Si alguien es mencionado en un Pull request o incidencia, quedará además“suscrito” y recibirá desde este momento las notificaciones que genere su actividad.
Als iemand vermeld wordt in een Pull Request of Issue, worden ze erop “geabonneerd” en blijven meldingen krijgen voor elke activiteit die erop plaatsvindt.
Siempre que un programador quiera modificar el código fuente(para corregir algo o añadir un comportamiento nuevo que pueda ser útil para los usuarios),envía un pull request en GitHub.
Wanneer een ontwikkelaar de broncode wil wijzigen(om iets te herstellen of om een nieuw gedrag toe te voegen dat nuttig kan zijn voor de gebruikers),kan hij/zij een pull request indienen op GitHub.
Esto significa que podemos obtener fácilmente cada Pull Request sin tener que añadir un montón de remotos. Ahora puedes obtenerlo directamente.
Dit betekent dat we redelijk eenvoudig in één keer elke Pull Request branch kunnen pullen zonder daarvoor een zooitje remotes hoeven toe te voegen.
La gente puede bifurcar un proyecto, enviar sus propioscambios a su copia y luego remitir esos cambios al repositorio original para su aprobación; creando lo que se llama un Pull Request, que veremos más adelante.
Mensen kunnen een project forken, ernaar pushen,en hun wijzigingen terug naar de oorspronkelijke project bij te dragen door een zogenoemde Pull Request te maken, wat we straks zullen behandelen.
Si incluimos esto en la descripción de nuestra incidencia o Pull Request, lo veremos con el aspecto de Cómo se ven las listas de tareas de Markdown.
Als we deze in de omschrijving van een Pull Request of Issue zetten, zullen we het als Taaklijsten zoals getoond een Markdown commentaar. getoond zien.
Así si alguien abre un Pull Request en el repositorio y su rama se llama bug-fix apuntando al commit a5a775, en nuestro repositorio no tendremos una rama bug-fix(puesto que está en el fork) pero tendremos el pull/<pr >/head apuntando a 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.
Al pulsar el botón“Merge”,se crea un commit de fusión que referencia al Pull Request, con lo que es fácil localizar para revisar la conversación original, si es necesario.
De “Merge” knop indrukken opde site maakt opzettelijk een merge commit die aan de Pull Request refereert zodat het eenvoudig is om terug te gaan en de oorspronkelijke conversatie te onderzoeken mocht het nodig zijn.
Cuando vas a abrir el Pull Request, hay una caja en la parte superior de la página que especifica qué rama quieres usar y desde qué rama quieres hacer la petición.
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.
Supongamos que hemos reorganizado la rama del ejemplo anterior, creado un nuevo pull request para ella y ahora queremos hacer una referencia al viejo Pull Request desde el nuevo.
Stel we hebben de branch in het vorige voorbeeld gerebased, een nieuwe pull rekest ervoor gemaakt en nu willen we verwijzen naar de oude pull rekest vanuit de nieuwe.
Esto se suele usar en Pull Requests para indicar quécosas hay que hacer en la rama antes de considerar que el Pull Request está listo para fusionarse.
Dit wordt vaak in een Pull Request gebruikt om aan te geven wat jeallemaal gedaan wilt zien op de branch voordat de Pull Request klaar is om te mergen.
Si estás trabajando en una característica con alguien y ambos tenéis acceso de escritura al repositorio,puedes subir una rama al mismo y abrir un Pull Request de fusión con master para poder formalizar el proceso de revisión de código y discusión. Para esto no se requieren bifurcaciones(forks).
Als je met iemand samenwerkt aan een feature en 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 en discussie proces te starten.
Por ejemplo, si tienes un Pull Request con tareas y miras la página resumen de todos los Pull Request, podrás ver cuánto trabajo queda pendiente.
Bijvoorbeeld, als je een Pull Request hebt met taken en je kijkt naar de overzichtspagina van alle Pull Requesten, kan je zien in hoeverre het klaar is.
Otra cosa interesante es que GitHub también comprueba si el Pull Request se fusionaría limpiamente(de forma automática) dando entonces un botón para hacerlo.
Het andere wat je zult zien is dat GitHub controleert of de Pull Request goed zou mergen en een knop biedt om de merge voor je te doen op de server.
Si ves que un Pull Request va en la buena dirección y tienes una idea para hacer un cambio que depende de él, o bien no estás seguro de que sea una buena idea, o no tienes acceso de escritura en la rama objetivo,puedes abrir un Pull Request directamente.
Als je een Pull Request ziet die de juiste kant op gaat en je hebt een idee voor een verandering die daarvan afhankelijk is of je weet niet zeker of het een goed idee is, of je hebt domweg geen push-toegang op de doelbranch,kan je een Pull Request direct op de Pull Request openen.
Dado que la localización es una funcionalidad importante de PrestaShop, si un pull request modifica textos o contenido de la aplicación(lo que afecta a su traducción), deberá ser aprobado también por el gestor de contenidos.
Aangezien lokalisatie een belangrijke functie van PrestaShop is, moeten pull requests die de teksten of inhouden van de applicatie wijzigen(en dus een gevolg hebben voor de vertalingen), eveneens worden goedgekeurd door de Content Manager.
Cuando el cambio llega con un Pull Request y los colaboradores o la comunidad sugieren un cambio, normalmente los parches no son directamente alterados, sino que se realiza un nuevo commit en la rama para enviar la diferencia que materializa esas sugerencias, haciendo avanzar la conversación con el contexto del trabajo previo intacto.
Als code wordt voorgesteld met een Pull Request en de beheerders of de gemeenschap een wijziging voorstellen wordt de reeks patches niet opnieuw samengesteld, maar daarentegen wordt het verschil gepusht als een nieuwe commit op de branch, waarbij de conversatie doorgaat met behoud van de context van het vorige werk.
Si quieres fusionar en la rama objetivo para hacer que tu Pull Request sea fusionable, deberías añadir el repositorio original como un nuevo remoto, bajártelo(fetch), fusionar la rama principal en la tuya, corregir los problemas que surjan y finalmente enviarla(push) a la misma rama donde hiciste la solicitud de integración.
Als je de target branch wilt mergen om je Pull Request merge-baar te maken, moet je de oorspronkelijke repository als een nieuwe remote moeten toevoegen, ervan fetchen, de hoofdbranch van die repository in jouw topic branch mergen, de problemen oplossen als ze er zijn en daarna je topic branch weer terugpushen naar dezelfde branch als waar je de Pull Request op geopend hebt.
Uitslagen: 68, Tijd: 0.0311

Hoe "pull request" te gebruiken in een Spaans zin

Pull request decoration did not happen.
How are squashed pull request matched?
That pull request was merged recently.
Pull request implementing KIP-36 was merged.
Pull request implementing KIP-51 was merged.
Pull request implementing KIP-45 was merged.
Pull request #22932 has more details.
Lukas: The pull request looks good.
Information about the pull request events.
See Pull Request #4891 for details.

Hoe "pull request" te gebruiken in een Nederlands zin

I found a pull request on Github for Tracks.
STRALENDE HUID GEZICHT - new pull request git.
Bekijk het originele pull request voor de details.
Pull request verhaal De pull request schijrft het 'verhaal' van de feature.
Daarnaast moet je vertellen wat je pull request doet.
Dit wordt een pull request genoemd.
tonen als iemand een Pull Request gaat openen.
Handmatig de Pull Request doelfork en -branch wijzigen.
Git pull request - maxi jurk online kopen.
Your Pull Request has been successfuly merged!!!

Woord voor woord vertaling

Top woordenboek queries

Spaans - Nederlands