diff .gitconfig @ 100:deff86179ed8

add default git config
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 07 Nov 2016 15:38:23 +0100
parents
children 78a2cec44799
line wrap: on
line diff
--- /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