[taler-deployment] branch master updated: fix docs bootstrap

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new bc538c2  fix docs bootstrap
bc538c2 is described below

commit bc538c2333e6498b4c7acb2db7890ac1e728d821
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Mon Apr 26 21:29:08 2021 +0200

    fix docs bootstrap
---
 bin/taler-deployment | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/bin/taler-deployment b/bin/taler-deployment
index 8ec50ad..befbf9a 100755
--- a/bin/taler-deployment
+++ b/bin/taler-deployment
@@ -83,6 +83,7 @@ def cli():
 # map from environment name to currency
 currmap = {
     "test": "TESTKUDOS",
+    "docs-builder": "TESTKUDOS",
     "coverage": "TESTKUDOS",
     "integrationtest": "TESTKUDOS",
     "demo": "KUDOS",
@@ -275,7 +276,7 @@ def get_repos(envname):
         return [
             Repo(
                 "docs",
-                "git://git.taler.net/docs.git",
+                "git://git.taler.net/docs",
                 [],
                 build_docs,
             ),
@@ -296,13 +297,13 @@ def get_repos(envname):
         return [
             Repo(
                 "libmicrohttpd",
-                "git://gnunet.org/libmicrohttpd.git",
+                "git://git.gnunet.org/libmicrohttpd.git",
                 [],
                 build_libmicrohttpd,
             ),
             Repo(
                 "gnunet",
-                "git://gnunet.org/gnunet.git",
+                "git://git.gnunet.org/gnunet.git",
                 [],
                 build_gnunet),
             Repo(
@@ -354,13 +355,13 @@ def get_repos(envname):
         return [
             Repo(
                 "libmicrohttpd",
-                "git://gnunet.org/libmicrohttpd.git",
+                "git://git.gnunet.org/libmicrohttpd.git",
                 [],
                 build_libmicrohttpd,
             ),
             Repo(
                 "gnunet",
-                "git://gnunet.org/gnunet.git",
+                "git://git.gnunet.org/gnunet.git",
                 [],
                 build_gnunet,
             ),
@@ -399,13 +400,13 @@ def get_repos(envname):
             ),
             Repo(
                 "libmicrohttpd",
-                "git://gnunet.org/libmicrohttpd.git",
+                "git://git.gnunet.org/libmicrohttpd.git",
                 [],
                 build_libmicrohttpd,
             ),
             Repo(
                 "gnunet",
-                "git://gnunet.org/gnunet.git",
+                "git://git.gnunet.org/gnunet.git",
                 [],
                 build_gnunet,
             ),

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.