[emacs] assimilate lean-mode and dependencies
[~bandali/configs] / .gitmodules
1 [borg]
2 pushDefault = aminb
3 collective = emacsg
4 [submodule "async"]
5 path = lib/async
6 url = git@github.com:jwiegley/emacs-async.git
7 [submodule "auto-compile"]
8 path = lib/auto-compile
9 url = git@github.com:emacscollective/auto-compile.git
10 [submodule "borg"]
11 path = lib/borg
12 url = git@github.com:emacscollective/borg.git
13 [submodule "closql"]
14 path = lib/closql
15 url = git@github.com:emacscollective/closql.git
16 [submodule "company"]
17 path = lib/company
18 url = git@github.com:company-mode/company-mode.git
19 [submodule "dash"]
20 path = lib/dash
21 url = git@github.com:magnars/dash.el.git
22 no-makeinfo = dash-template.texi
23 # dash creates a `dir' dash info file, which makes git think
24 # that the submodule is dirty. so, let's ignore the untracked
25 # files of dash's submodule
26 ignore = untracked
27 [submodule "diff-hl"]
28 path = lib/diff-hl
29 url = git@github.com:dgutov/diff-hl.git
30 [submodule "emacsql"]
31 path = lib/emacsql
32 url = git@github.com:skeeto/emacsql.git
33 no-byte-compile = emacsql-pg.el
34 [submodule "epkg"]
35 path = lib/epkg
36 url = git@github.com:emacscollective/epkg.git
37 [submodule "exec-path-from-shell"]
38 path = lib/exec-path-from-shell
39 url = git@github.com:purcell/exec-path-from-shell.git
40 [submodule "exwm"]
41 path = lib/exwm
42 url = git@github.com:ch11ng/exwm.git
43 [submodule "f"]
44 path = lib/f
45 url = git@github.com:rejeep/f.el.git
46 [submodule "flycheck"]
47 path = lib/flycheck
48 url = git@github.com:flycheck/flycheck.git
49 [submodule "ghub"]
50 path = lib/ghub
51 url = git@github.com:magit/ghub.git
52 [submodule "git-modes"]
53 path = lib/git-modes
54 url = git@github.com:magit/git-modes.git
55 [submodule "helm"]
56 path = lib/helm
57 url = git@github.com:emacs-helm/helm.git
58 [submodule "ivy"]
59 path = lib/ivy
60 url = git@github.com:abo-abo/swiper.git
61 info-path = doc
62 [submodule "lean-mode"]
63 path = lib/lean-mode
64 url = git@github.com:leanprover/lean-mode.git
65 [submodule "magit"]
66 path = lib/magit
67 url = git@github.com:magit/magit.git
68 info-path = Documentation
69 [submodule "magit-popup"]
70 path = lib/magit-popup
71 url = git@github.com:magit/magit-popup.git
72 [submodule "markdown-mode"]
73 path = lib/markdown-mode
74 url = git@github.com:jrblevin/markdown-mode.git
75 [submodule "no-littering"]
76 path = lib/no-littering
77 url = git@github.com:emacscollective/no-littering.git
78 [submodule "packed"]
79 path = lib/packed
80 url = git@github.com:emacscollective/packed.git
81 [submodule "popup"]
82 path = lib/popup
83 url = git@github.com:auto-complete/popup-el.git
84 [submodule "s"]
85 path = lib/s
86 url = git@github.com:magnars/s.el.git
87 [submodule "smex"] # used by counsel-M-x
88 path = lib/smex
89 url = git@github.com:nonsequitur/smex.git
90 [submodule "undo-tree"]
91 path = lib/undo-tree
92 url = git@github.com:emacsorphanage/undo-tree.git
93 [submodule "use-package"]
94 path = lib/use-package
95 url = git@github.com:jwiegley/use-package.git
96 [submodule "with-editor"]
97 path = lib/with-editor
98 url = git@github.com:magit/with-editor.git
99 [submodule "xelb"]
100 path = lib/xelb
101 url = git@github.com:ch11ng/xelb.git
102 [submodule "yaml-mode"]
103 path = lib/yaml-mode
104 url = git@github.com:yoshiki/yaml-mode.git