# HG changeset patch # User IBBoard # Date 1493117427 -3600 # Node ID dc844728d1d4aaaae317ee060bbd40c5bcc60eeb # Parent 39b07c5f878574c438739656479d4901eefcb086 Add an include to allow username overrides on other systems diff -r 39b07c5f8785 -r dc844728d1d4 gitconfig --- a/gitconfig Tue Apr 25 11:42:15 2017 +0100 +++ b/gitconfig Tue Apr 25 11:50:27 2017 +0100 @@ -16,3 +16,5 @@ prompt = false [push] default = simple +[include] + path = ~/.gitconfig-override