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.
Befehl git push
The git push command is used to upload content to a remote repository.
Der Befehl git push wird zum Schreiben auf ein Remote-Repository verwendet.
Finally, use the git push command to upload the changes to the AWS CodeCommit repository.
Mit dem Befehl git push laden Sie dann die Änderungen in das AWS CodeCommit-Repository hoch.
Push that change to Bitbucket using the git push command.
Dies kann er über den Befehl git push erreichen
By default, the git push command doesn't transfer tags to remote servers.
Der git push Befehl lädt Tags nicht von sich aus auf externe Server.
If you have a lot of tags that you want to push up at once, you can also use the - tags option to the git push command. This will transfer all of your tags to the remote server that are not already there.
Wenn Du viele Tags auf einmal hochladen willst, kannst Du dem git push Befehl außerdem die - tags Option übergeben und auf diese Weise sämtliche Tags auf dem Remote Server veröffentlichen, die dort noch nicht bekannt sind.
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.