[emacs] assimilate boogie-friends

[~bandali/configs] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 2a5450c..d5510fa 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,12 +10,19 @@
 [submodule "anzu"]
        path = lib/anzu
        url = git@github.com:syohex/emacs-anzu.git
+[submodule "apiwrap"]
+       path = lib/apiwrap
+       url = git@github.com:vermiculus/apiwrap.el.git
 [submodule "async"]
        path = lib/async
        url = git@github.com:jwiegley/emacs-async.git
 [submodule "auto-compile"]
        path = lib/auto-compile
        url = git@github.com:emacscollective/auto-compile.git
+[submodule "boogie-friends"]
+       path = lib/boogie-friends
+       url = git@github.com:boogie-org/boogie-friends.git
+       load-path = emacs
 [submodule "borg"]
        path = lib/borg
        url = git@github.com:emacscollective/borg.git
@@ -54,6 +61,9 @@
 [submodule "diff-hl"]
        path = lib/diff-hl
        url = git@github.com:dgutov/diff-hl.git
+[submodule "ebdb"]
+       path = lib/ebdb
+       url = git@github.com:emacsmirror/ebdb.git
 [submodule "edit-indirect"]
        path = lib/edit-indirect
        url = git@github.com:Fanael/edit-indirect.git
@@ -79,6 +89,21 @@
 [submodule "epl"]
        path = lib/epl
        url = git@github.com:cask/epl.git
+[submodule "eshell-up"]
+       path = lib/eshell-up
+       url = git@github.com:peterwvj/eshell-up.git
+[submodule "evil"]
+       path = lib/evil
+       url = git@github.com:emacs-evil/evil.git
+[submodule "evil-escape"]
+       path = lib/evil-escape
+       url = git@github.com:syl20bnr/evil-escape.git
+[submodule "evil-nerd-commenter"]
+       path = lib/evil-nerd-commenter
+       url = git@github.com:redguardtoo/evil-nerd-commenter.git
+[submodule "evil-surround"]
+       path = lib/evil-surround
+       url = git@github.com:emacs-evil/evil-surround.git
 [submodule "exec-path-from-shell"]
        path = lib/exec-path-from-shell
        url = git@github.com:purcell/exec-path-from-shell.git
@@ -91,9 +116,16 @@
 [submodule "flycheck-haskell"]
        path = lib/flycheck-haskell
        url = git@github.com:flycheck/flycheck-haskell.git
+[submodule "general"]
+       path = lib/general
+       url = git@github.com:noctuid/general.el.git
 [submodule "ghub"]
        path = lib/ghub
        url = git@github.com:magit/ghub.git
+[submodule "ghub+"]
+       path = lib/ghub+
+       url = git@github.com:vermiculus/ghub-plus.git
+       remote = aminb git@github.com:aminb/ghub-plus.git
 [submodule "git-modes"]
        path = lib/git-modes
        url = git@github.com:magit/git-modes.git
@@ -109,9 +141,9 @@
 [submodule "helpful"]
        path = lib/helpful
        url = git@github.com:Wilfred/helpful.git
-[submodule "highlight-indent-guides"]
-       path = lib/highlight-indent-guides
-       url = git@github.com:DarthFennec/highlight-indent-guides.git
+[submodule "hl-todo"]
+       path = lib/hl-todo
+       url = git@github.com:tarsius/hl-todo.git
 [submodule "hlint-refactor"]
        path = lib/hlint-refactor
        url = git@github.com:mpickering/hlint-refactor-mode.git
@@ -151,6 +183,13 @@
 [submodule "magit-popup"]
        path = lib/magit-popup
        url = git@github.com:magit/magit-popup.git
+[submodule "magithub"]
+       path = lib/magithub
+       url = git@github.com:vermiculus/magithub.git
+       # magithub creates a `dir' info-related file, which makes git
+       # think the submodule is dirty. so, let's ignore the untracked
+       # files of this submodule
+       ignore = untracked
 [submodule "markdown-mode"]
        path = lib/markdown-mode
        url = git@github.com:jrblevin/markdown-mode.git
@@ -160,9 +199,9 @@
 [submodule "mmm-mode"]
        path = lib/mmm-mode
        url = git@github.com:purcell/mmm-mode.git
-       # mmm-mode creates a `dir' dash info file, which makes git think
-       # that the submodule is dirty. so, let's ignore the untracked
-       # files of dash's submodule
+       # mmm-mode creates a `dir' info-related file, which makes git
+       # think the submodule is dirty. so, let's ignore the untracked
+       # files of this submodule
        ignore = untracked
 [submodule "mwim"]
        path = lib/mwim