Git

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