Updating documentation

Signed-off-by: Robert Einsle <robby@mawoh.de>
Adding push.default option to gitconfig

Signed-off-by: Robert Einsle <robby@mawoh.de>