diff options
| -rw-r--r-- | developers-manual.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/developers-manual.rst b/developers-manual.rst index 7741124e..d3b1b34c 100644 --- 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, |