commit a2058ae57896493fc84e073d46bb59234f57d1f6
parent ea11eb785d0306c94bf7ae771f2aa88933940127
Author: Thien-Thi Nguyen <ttn@gnuvola.org>
Date: Wed, 25 Nov 2020 16:10:03 -0500
remove markup around URL, allowing to be rendered clickable
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/developers-manual.rst b/developers-manual.rst
@@ -615,7 +615,7 @@ Continuous integration
CI is done with Buildbot (https://buildbot.net/), and builds are
triggered by the means of Git hooks. The results are published at
-``https://buildbot.taler.net/``.
+https://buildbot.taler.net/ .
In order to avoid downtimes, CI uses a "blue/green" deployment
technique. In detail, there are two users building code on the system,
