doc/devnotes: way to make 'git log' nicer

diff --git a/doc/devnotes.txt b/doc/devnotes.txt
index c49fc75e95a75c26a104394b7fdf7d3887810ab6..309d67e8c8d90c6415640a5147baeced6d85f2e7 100644 (file)
--- a/doc/devnotes.txt
+++ b/doc/devnotes.txt
@@ -111,6 +111,9 @@ Optional: make git colorful:
   $ git config --global color.diff auto
   $ git config --global color.pager true
   $ git config --global color.status true
+  ## make log nicer
+  $ git config --global log.decorate short
+  $ git config --global log.abbrevCommit true
 
 Optional: activate tab-completion for git, pick one of the lines below
 and put it into your `.bashrc`: