diff options
author | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:34:12 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:34:12 -0700 |
commit | 06a4f4351d05cbcf76dabf62174c8a991e4ecb67 (patch) | |
tree | fb2dc371a7e53b9e4d8e56fbe7e50ce60a6976fc /home/.gitconfig | |
parent | 9b04133d58f74dee9413e7c8e3dc86be901a1620 (diff) | |
download | dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.tar.gz dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.tar.bz2 dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.zip |
Remove git configuration for Driver projects
Diffstat (limited to 'home/.gitconfig')
-rw-r--r-- | home/.gitconfig | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/home/.gitconfig b/home/.gitconfig index c8b324e..f60f4c7 100644 --- a/home/.gitconfig +++ b/home/.gitconfig @@ -15,8 +15,6 @@ [core] editor = emacsclient --alternate-editor='' --tty excludesfile = ~/.gitignore_global -[includeIf "gitdir:~/src/driver/"] - path = .gitconfig_driver [credential "https://git-wip-us.apache.org"] username = jodersky helper = "!f() { echo password=$(pass sites/apache.org); }; f" |