# HG changeset patch
# User Dirk Olmes <dirk.olmes@codedo.de>
# Date 1596532815 -7200
# Node ID bfc94ec31b2bc161b8c9f00b57906289474447ef
# Parent  e5f67219ad245a5f8165659044f5146eec341a5b
allow a local include in .gitconfig

diff -r e5f67219ad24 -r bfc94ec31b2b .gitconfig
--- a/.gitconfig	Thu Jul 23 09:00:24 2020 +0200
+++ b/.gitconfig	Tue Aug 04 11:20:15 2020 +0200
@@ -17,6 +17,9 @@
 [http]
     sslVerify = false
 
+[include]
+	path = ~/.gitconfig.local
+
 [push]
     default = simple