Voorbeelden van het gebruik van Git pull in het Nederlands en hun vertalingen in het Engels
{-}
-
Colloquial
-
Official
-
Ecclesiastic
-
Medicine
-
Financial
-
Computer
-
Ecclesiastic
-
Official/political
-
Programming
Jaren, 9 maanden geleden george 4 kopiëren 0 git pull origin next git-pull.
Als je git pull gebruikt en--rebase de standaard maken, kan je de pull. .
val dan terug op git pull--no-rebase.
Daarom werken git push en git pull zo uit het doosje, zonder verdere argumenten.
merge commando's expliciet te gebruiken omdat de magie van git pull vaak verwarrend kan zijn.
Combinations with other parts of speech
Gebruik met bijvoeglijke naamwoorden
Gebruik met zelfstandige naamwoorden
Je kunt dit versimpelen door een git pull--rebase in plaats van een gewone git pull te draaien.
dan kun je de URL van de remote repository geven aan het git pull commando.
Als jij een git pull doet, ga je een commit merge maken waar beide tijdslijnen in zitten,
Het maken van een merge commit voelt als een Git gebruiker als natuurlijk aan(dat is tenslotte wat git pull doet), en git-tf kan dit voor je doen met een simpele git tf pull.
Als je de regel bekijkt waar git pull< url>
meerdere branches die automatisch gemerged worden als je git pull uitvoert.
Als je op een van die branches zit zal het uitvoeren van git pull alle remote referenties ophalen
Het git pull commando is feitelijk een combinatie van de git fetch
Het commando vertelt je behulpzaam dat als je op de master branch zit en je voert git pull uit, dat Git dan automatisch de master branch van de remote zal mergen nadat het alle remote references opgehaald heeft.
die verwijderd zijn van de server, en meerdere lokale branches die automatisch gemerged worden met hun remote-tracking branch als je git pull uitvoert.
Er is echter een commando git pull geheten die feitelijk een git fetch onmiddellijk gevolgd door een git merge is in de meeste gevallen.
dan kun je het git pull commando gebruiken om automatisch een remote branch te fetchen
Als je op een tracking branch zit en git pull typt, dat weet Git automatisch naar welke server moet gaan om de wijzigingen op te halen en in welke branch deze moeten worden gemerged.
dan is het uitvoeren van een commando zoals git pull/home/john/project vaak makkelijker dan wanneer hij naar een remote server moet pushen,
Over het algemeen zal een git pull dat van de server waarvan je origineel gecloned hebt halen
zal git pull kijken welke server
In Git 1.8.3 en later, kunnen"git merge" en"git pull" verteld worden om te controleren tijdens het mergen van een commit en deze af te wijzen als die geen geverfieerde GPG handtekening heeft met het--verify-signature commando.
Referenties ↑ Dit kan referentie-conflicten veroorzaken als u later"git pull" gebruikt om uw"schaduwkopie" te updaten terwijl de nieuwere versie verwijst naar oudere versies die nog niet op uw systeem zijn gedownload.