Vertaling van "git push" in Frans
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.
Standaard zal het git push commando geen tags naar remote servers versturen.
Par défaut, la commande git push ne transfère pas les balises vers les serveurs distants.
Je kunt een remote branch verwijderen met de - delete optie bij git push.
Vous pouvez effacer une branche distante en ajoutant l'option - delete à git push.
De pre-push hook wordt aangeroepen tijdens git push, nadat de remote refs zijn ge-update maar voordat er objecten zijn gestuurd.
Le crochet pre-push est lancé pendant un git push, après la mise à jour des références distantes mais avant le transfert des objets.
Dit proces is hetzelfde als remote branches delen - je kunt git push origin [tagnaam] uitvoeren.
Ce processus s'apparente à pousser des branches distantes - vous pouvez lancer git push origin [nom-du-tag].
Het git push commando wordt gebruikt om te communiceren met een andere repository, berekenen wat je lokale database heeft en de remote niet, en daarna de verschillen te pushen naar de andere repository.
La commande git push est utilisée pour communiquer avec un autre dépôt, calculer ce que votre base de données locale a et que le dépôt distant n'a pas, et ensuite pousser la différence dans l'autre dépôt.
Dan kun je een remote branch verwijderen door de nogal botte syntaxis git push [remotenaam]:[branch] te gebruiken.
Vous pouvez effacer une branche distante en ajoutant l'option - delete à git push.
Het bundle commando pakt alles wat normaalgesproken over het netwerk zou worden gepushed met een git push commando in een binair bestand die je naar iemand kunt mailen of op een flash drive kunt bewaren, en dan uitpakken in de andere repository.
La commande bundle va empaqueter tout ce qui serait normalement poussé sur le réseau avec une commande git push dans un fichier binaire qui peut être envoyé à quelqu'un par courriel ou copié sur une clé USB, puis de le dépaqueter dans un autre dépôt.
We nemen een eerste kijkje naar het git push commando in Naar je remotes pushen. Hier behandelen we de basisprincipes van het pushen van een branch naar een remote repository.
Nous voyons la commande git push pour la première fois dans Pousser son travail sur un dépôt distant. Ici nous couvrons les bases de la poussée de branche vers un dépôt distant.
We nemen een eerste kijkje naar het git push commando in Naar je remotes pushen.
Nous voyons la commande git push pour la première fois dans Pousser son travail sur un dépôt distant.
Deze CGI leest het pad en de headers die door een git fetch of een git push worden gestuurd aan een HTTP URL en bepaalt of de client via HTTP kan communiceren (wat elke client sinds versie 1.6.6 kan).
Ce CGI va lire le chemin et les entêtes envoyés par un git fetch ou un git push à une URL donnée et déterminer si le client peut communiquer sur HTTP (ce qui est vrai pour tout client depuis la version 1.6.6).
In "Remote branches verwijderen" gebruiken we de - delete vlag om een branch te verwijderen op de server met een git push.
Dans Suppression de branches distantes, nous utilisons l'option - delete pour supprimer une branche sur le serveur avec git push.
Wat voorheen via een build system gedaan moest worden (jenkins, gitlab, manueel/ plaatselijk, enz...) kan nu via de logica van Git Push gedaan worden.
Ce qui devait autrefois être réalisé via un outil d'intégration continue (Jenkins, GitLab, manuel/local...) peut à présent être réalisé via le fonctionnement de Git Push.
Daarom werken git push en git pull zo uit het doosje, zonder verdere argumenten.
C'est pourquoi les commandes git push et git pull fonctionnent directement sans plus de paramétrage.
