From e21965dca37037c7be79b5be284d86ac956f6dcf Mon Sep 17 00:00:00 2001
From: Morgan Wattiez <morgan.wattiez@collibra.com>
Date: Mon, 22 Jul 2019 20:27:42 +0200
Subject: [PATCH] add git alias times * src:
 https://gist.github.com/bessarabov/674ea13c77fc8128f24b5e3f53b7f094

---
 dot_gitconfig | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/dot_gitconfig b/dot_gitconfig
index 30348a2..439dd72 100644
--- a/dot_gitconfig
+++ b/dot_gitconfig
@@ -19,3 +19,8 @@
 	hist = log --pretty=format:\"%h %ad | %s%d [%an]\"  --graph --date=short
 	type = cat-file -t
 	dump = cat-file -p
+        times = "!git log --author=\"$(git config user.name)\" \
+                 --date=iso \
+                 --format=\"%ad\" \
+                 --date=\"format:%H\" \
+                 | awk '{n=$1+0;if(H[n]++>max)max=H[n]}END{for(i=0;i<24;i++){printf\"%02d -%5d \",i,H[i];for(n=0;n<H[i]/max*50;n++){printf \"*\"}print\"\"}}'"