summaryrefslogtreecommitdiffstats
path: root/.gitmodules
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2016-04-29 13:31:21 +0000
committerintrigeri <intrigeri@boum.org>2016-04-29 13:31:21 +0000
commita52ff653244d22df7b7e56ee5411b3b044156f81 (patch)
tree6334bca6ebfe0919110e8d40d556e31997eefa62 /.gitmodules
parent26adf7bc5859620a1cfb3f83f694e027eedf9c5f (diff)
Add mirror-pool-dispatcher as a Git submodule.
We are going to run some of its code from Tails Upgrader. refs: #11123
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 31cff48..f75ba5b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
[submodule "submodules/jenkins-tools"]
path = submodules/jenkins-tools
url = https://git-tails.immerda.ch/jenkins-tools
+[submodule "submodules/mirror-pool-dispatcher"]
+ path = submodules/mirror-pool-dispatcher
+ url = https://git-tails.immerda.ch/mirror-pool-dispatcher