pull

Usted únicamente puede hacer un pedido masivo de cambio de titularidad al hacer un push de dominio, no un pull de dominio.
You can only do a bulk change ownership request by doing a domain push, not a domain pull.
El conector de Push/Pull tab se puede quitar con un pull tab simple, lo que elimina la necesidad de acceso digital al mecanismo de liberación de los conectores MTP en aplicaciones densas.
The Push/Pull tab connector can be removed using a simple pull tab, eliminateing the need for finger access to the MTP connectors release mechanism in dense applications.
Llevo puesto un pull de algodón y un pantalón vaquero.
I'm wearing a cotton pullover and a pair of jeans.
Sin embargo, si lo que quieres es realizar una acción como comentar una incidencia o un Pull Request, o si quieres ver o interactuar con un contenido privado, necesitas identificarte.
However, if you want to do an action on the website such as comment on an Issue or Pull Request or if you want to view or interact with private content, you'll need to authenticate.
Puede solicitar un pull request o enviar un parche.
You can either file a pull request, or send a patch.
¿Piensas que se puede mejorar un pull request?
Do you think a pull request can be improved?
Figure 6-39. Quitar suscripción de un pull request o incidencia.
Figure 6-39. Unsubscribe from an Issue or Pull Request.
Luego hará un pull de la rama principal y se actualizará a sí mismo.
It will then do a pull of the master branch and update itself.
La barra amarilla aparece cuando los precios de mercado se preparan para tener un pull back.
The yellow bar appears when the market prices are preparing to have a pull back.
Usted solo tiene que hacer un push de dominio o un pull de dominio, no ambas cosas.
You only need to push the domain or pull the domain, not both.
Enviar un parche Esto es menos preferible que solicitar un pull request, pero si por alguna razón no puede hacer una PR, aún puede obtener su corrección.
This is less preferable than the pull request, but if for some reason you're not able to do a PR, you can still get your fix in.
Botón Merge e instrucciones para fusionar manualmente un Pull Request.
Merge button and instructions for merging a Pull Request manually.
Figure 6-36. Botón Merge e instrucciones para fusionar manualmente un Pull Request.
Figure 6-36. Merge button and instructions for merging a Pull Request manually.
Podemos rellenar la descripción justo como vemos en Referencias cruzadas en un Pull Request..
We can fill out the description just like Cross references in a Pull Request..
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.
If you have a file named CONTRIBUTING with any file extension, GitHub will show Figure 6-42 when anyone starts opening a Pull Request.
Esto es increíblemente útil cuando se abre un Pull Request al principio y se quiere usar para seguir el progreso de desarrollo de la característica.
These are incredibly useful when you open a Pull Request early and use it to track your progress through the implementation of the feature.
Si tienes un archivo con ese nombre y cualquier extensión, GitHub mostrará algo como Apertura de un Pull Request cuando existe el archivo CONTRIBUTING.
If you have a file named CONTRIBUTING with any file extension, GitHub will show Opening a Pull Request when a CONTRIBUTING file exists.
Como verás en Botón Merge e instrucciones para fusionar manualmente un Pull Request., GitHub te da toda esta información si pulsas el el enlace de ayuda.
As you can see in Merge button and instructions for merging a Pull Request manually., GitHub gives you all of this information if you click the hint link.
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.
For example, if you have a Pull Request with tasks and you look at the overview page of all Pull Requests, you can see how far done it is.
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.
Now that you have a project with some code in it and maybe even a few collaborators who also have push access, let's go over what to do when you get a Pull Request yourself.
Word of the Day
raven