Download for Windows Premium
Publiciteit
git push

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.
git push
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.
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.
Als je een git push laat lopen en je huidige branch trackt origin/master, zijn de commits die worden getoond door git log origin/master... HEAD de commits die naar de server zullen worden gestuurd.
Si vous exécutez git push et que votre branche courante suit origin/master, les commits listés par git log origin/master... HEAD sont les commits qui seront transférés sur le serveur.
Als je op een tracking branch zit en git push typt, dat weet Git automatisch naar welke server en branch hij moet pushen.
Si vous vous trouvez sur une branche de suivi et que vous tapez git push, Git sélectionne automatiquement le serveur vers lequel pousser vos modifications.
Bijvoorbeeld, stel dat je git push origin master uitvoert in je project en origin is gedefinieerd als een URL dat het SSH protocol gebruikt.
Par exemple, disons que vous exécutez git push origin master dans votre projet et origin est défini comme une URL qui utilise le protocole SSH.
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 git push.
Dans Suppression de branches distantes, nous utilisons l'option - delete pour supprimer une branche sur le serveur avec git push.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor git push in het Nederlands

Publiciteit

Resultaten: 19. Exact: 19. Verstreken tijd: 35 ms.

Veel voorkomende woorden: 1-300, 301-600, 601-900

Frequente korte uitdrukkingen: 1-400, 401-800, 801-1200

Frequente lange uitdrukkingen: 1-400, 401-800, 801-1200