# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1478529503 -3600
# Node ID deff86179ed802a420186c278b40b52b60ace139
# Parent  a081e7a3977d7bc1caaa876d146d352b73dbd091
add default git config

diff -r a081e7a3977d -r deff86179ed8 .gitconfig
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.gitconfig	Mon Nov 07 15:38:23 2016 +0100
@@ -0,0 +1,23 @@
+[alias]
+    brach = branch
+    branches = branch
+    co = checkout
+    comit = commit
+    lg = log --format=oneline --graph --abbrev-commit --decorate
+    rpo = remote prune origin    
+    st = status
+    wipe = !git add -A && git commit -qm 'WIPE SAVEPOINT' && git reset HEAD~1 --hard
+
+[color]
+    ui = false
+
+[http]
+    sslVerify = false
+
+[push]
+    default = simple
+    
+[user]
+    name = Dirk Olmes
+    # do not set an email address here - it must be configured for different 
+    # repositories with different values