Git
Aus Wiki
more info on https://rogerdudler.github.io/git-guide/index.de.html
Neues Repository erstellen
git init
Ein Repository auschecken
git clone /pfad/zum/repository
git clone https://benutzername@host:/pfad/zum/repository
git clone -b <name-of-branch> benutzername@host:/pfad/zum/repository
add & commit
git add <dateiname> git add *
and then
git commit -m "Commit-Nachricht"
undo last commit before push
git reset --soft HEAD~1
Änderungen hochladen
git push origin master
(git remote add origin <server>)
update & merge
git pull
