summaryrefslogtreecommitdiffstats
path: root/.gitmodules
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2015-06-12 20:57:17 +0000
committerintrigeri <intrigeri@boum.org>2015-06-12 20:57:17 +0000
commitd8cb5c31368b2b78fd00e4b2ad00413bce8b3cd1 (patch)
treef6055f2056efa97b02af145a8fbe6a75be82fc5b /.gitmodules
parent099478982d471d656f14f878c2266f9cef4e2c70 (diff)
Add the jenkins-tools repository as a Git submodule.
Refs: #9567
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 227416c..31cff48 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
[submodule "submodules/pythonlib"]
path = submodules/pythonlib
url = https://git-tails.immerda.ch/pythonlib
+[submodule "submodules/jenkins-tools"]
+ path = submodules/jenkins-tools
+ url = https://git-tails.immerda.ch/jenkins-tools