From 86149be523dc00895cf890488989cabf2fa4fff9 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Wed, 26 Dec 2018 10:23:55 +0100
Subject: Set github username (for emacs-forge)

---
 home/.gitconfig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/home/.gitconfig b/home/.gitconfig
index f60f4c7..1830112 100644
--- a/home/.gitconfig
+++ b/home/.gitconfig
@@ -18,3 +18,5 @@
 [credential "https://git-wip-us.apache.org"]
 	username = jodersky
 	helper = "!f() { echo password=$(pass sites/apache.org); }; f"
+[github]
+	user = jodersky
-- 
cgit v1.2.3