We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
pull request en github
The best way is to send a github pull request against the sympy/sympy repository.
The github pull request is a preferred method, as that makes it easy for us to review and push the code in.
Un pull request en github es el método preferido, ya que se nos hace más fácil revisar y hacer push al código.
Many changes, including bug fixes and documentation improvements can be implemented and reviewed via the normal GitHub pull request workflow.
Muchos cambios, incluyendo correcciones de errores y mejoras en la documentación, se pueden implementar y revisar a través del flujo de trabajo normal de pull request de GitHub.
Developers can now collaborate in real time with Live Share and the new GitHub pull request capabilities.
Ahora, los desarrolladores pueden colaborar en tiempo real con Live Share y las nuevas capacidades de solicitud de extracción en GitHub.
A Microsoft employee explains on the GitHub pull request which usage of the imagery is permitted and which not.
Un empleado Microsoft explica en el pedido de pull GitHub cuál uso de las imágenes está permitido y cuál no.
GitHub pull request, the Firefox Firebug tool, or these other examples could be written as
We also use it to apply patch formatted GitHub Pull Request changes in Email Notifications.
También lo utilizamos para aplicar parcheado con formato de cambios de GitHub Pull Request en Notificaciones por correo electrónico.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.