Vertaling van "git pull" in Duits
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.
C'est pourquoi les commandes git push et git pull fonctionnent directement sans plus de paramétrage.
Deshalb können git push und git pull ohne weitere Argumente aufgerufen werden.
Il vous permettra de connaitre automatiquement de quel branche distante aller chercher les modifications en utilisant git pull ou git fetch.
Sie wissen automatisch, von welchem entfernten Branch Änderungen heruntergeladen werden müssen, wenn git pull oder git fetch verwendet werden.
Cela veut dire que le véritable travail de distribution de vos projets est dans la synchronisation des changements par des envois (git push) et des rapatriements (git pull).
Die wirkliche Arbeit im Verteilen deines Projekts fällt beim Synchronisieren deiner Änderungen mit git push und git pull an.
De même, git pull sur une de ces branches récupère toutes les références distantes et fusionne automatiquement la branche distante correspondante dans la branche actuelle.
Ebenso führt git pull in einem dieser Branches dazu, dass alle entfernten Referenzen gefetched und automatisch in den Zweig gemerged werden.
L'option branch.master.merge spécifie le nom de la branche distante utilisée par défaut par la commande git pull.
Die branch.master.merge Option definiert den Standard-Remote-Branch bei einem git pull.
La nouvelle version du noyau peut nécessiter de nouvelles versions des extensions et des thèmes, donc vous devez aller dans le répertoire de chaque extension et chaque thème et le mettre à jour avec une commande comme git pull - recurse-submodules.
Die neue Version von Core kann neue Versionen der Erweiterungen oder Gestaltungen erfordern, sodass Sie in jedes Erweiterungs- und Gestaltungs-Verzeichnis wechseln und es mit einem Befehl wie git pull - recurse-submodulesgit pull - recurse-submodules aktualisieren müssen.
Si vous ne travaillez pas en continu avec une personne mais souhaitez tout de même tirer les modifications de cette manière, vous pouvez fournir l'URL du dépôt distant à la commande git pull.
Wenn du mit jemandem nicht regelmäßig zusammen arbeitest, aber trotzdem aus ihrem Repository mergen willst, dann kannst du dem git pull Befehl die URL ihres externen Repositories übergeben.
Après la création d'un clone d'un dépôt, l'utilisation de git push ou de git pull se référera automatiquement à l'URL du dépôt d'origine.
Nach dem Clonen eines Repositories, wird git push oder git pull automatisch auf die original URL zugreifen.
Plus tard, vous pourrez utiliser la commande git pull dans ce répertoire pour obtenir juste les deltas avec la version d'aujourd'hui.
Um auf den aktuellen Stand zu kommen verwendest Du z.B. git pull in diesem Ordner.
Assurez-vous d'inclure le git pull quelque part dans votre script de déploiement.
Bitte stellen Sie sicher, dass der Git-Pull irgendwo in Ihrem Deployment-Skript enthalten ist.
Cela peut causer des problèmes de références lorsque vous utiliserez plus tard "git pull" pour mettre à jour votre clone faible et la nouvelle révision pourrait renvoyer à d'anciennes révisions qui n'ont pas encore été téléchargées dans votre système.
Dies könnte Referenzierungsprobleme verursachen (Verweis einer neueren Softwarerevision auf eine ältere, nicht heruntergeladene Version), sofern man in der Folge die Anweisung "git pull" nutzt, um das Wiki zu aktualisieren.
Elle montre aussi les branches distantes qui n'ont pas encore été rapatriées, les branches distantes présentes localement mais effacées sur le serveur, et toutes les branches qui seront fusionnées quand on lancera git pull. Retirer et renommer des dépôts distants
Er zeigt außerdem, welche Branches es im Remote Repository gibt, die Du selbst noch nicht hast, welche Branches dort gelöscht wurden, und Branches, die automatisch mit lokalen Branches zusammengeführt werden, wenn Du git pull ausführst.
Si vous et votre coéquipier travaillez sur le même projet et qu'il souhaite partager son travail, lancer une commande telle que git pull /home/john/project est certainement plus simple que de passer par un serveur intermédiaire. Inconvénients
Wenn Du und ein Kollege an dem gleichen Projekt arbeitet und ihr wollt etwas auschecken, dann ein Befehl wie git pull/home/john/project ist oft einfacher als das pushen zu einem externen Server und das pullen zurück. Die Nachteile
