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 | |
| parent | 9b04133d58f74dee9413e7c8e3dc86be901a1620 (diff) | |
| download | dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.tar.gz dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.tar.bz2 dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.zip | |
Remove git configuration for Driver projects
| -rw-r--r-- | home/.gitconfig | 2 | ||||
| -rw-r--r-- | home/.gitconfig_driver | 2 |
2 files changed, 0 insertions, 4 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" diff --git a/home/.gitconfig_driver b/home/.gitconfig_driver deleted file mode 100644 index 7032990..0000000 --- a/home/.gitconfig_driver +++ /dev/null @@ -1,2 +0,0 @@ -[user] - email=jakob@driver.xyz
\ No newline at end of file |