From 396153a7144b6fad2742fcbcb5d91fcd7016061d Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Thu, 28 Mar 2019 15:15:56 -0400
Subject: Update gitconfig

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

diff --git a/home/.gitconfig b/home/.gitconfig
index 2d1247f..c940178 100644
--- a/home/.gitconfig
+++ b/home/.gitconfig
@@ -20,5 +20,5 @@
 	helper = "!f() { echo password=$(pass sites/apache.org); }; f"
 [github]
 	user = jodersky
-[includeIf "gitdir:~/src/inpher/"]
+[includeIf "gitdir:~/src/"]
 	path = .gitconfig_inpher
-- 
cgit v1.2.3