[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 69acabf..83877c8 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -37,7 +37,7 @@
        url = git@github.com:company-mode/company-mode.git
 [submodule "company-ebdb"]
        path = lib/company-ebdb
        url = git@github.com:company-mode/company-mode.git
 [submodule "company-ebdb"]
        path = lib/company-ebdb

-       url = git@github.com:emacsmirror/company-ebdb.git
+       url = git@github.com:emacs-straight/company-ebdb.git

 [submodule "crux"]
        path = lib/crux
        url = git@github.com:bbatsov/crux.git
 [submodule "crux"]
        path = lib/crux
        url = git@github.com:bbatsov/crux.git