User in repos dir should always be personal

This commit is contained in:
Jake Howard 2018-06-22 11:31:44 +01:00
parent f946676d97
commit b802b83112
Signed by: jake
GPG key ID: 57AFB45680EDD477

View file

@ -21,3 +21,6 @@
[includeIf "gitdir:~/sourcebots/"] [includeIf "gitdir:~/sourcebots/"]
path = ~/.dotfiles/git/sourcebots.conf path = ~/.dotfiles/git/sourcebots.conf
[includeIf "gitdir:~/Repositories/"]
path = ~/.dotfiles/git/personal.conf