commit 20265bc9044be8658d9b23119fa2f7123e5a4b58
parent 03b6888635e54d0b626a601d31379f8c5152c032
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Sat, 30 Dec 2017 14:31:48 +0100
sectioning
Diffstat:
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/doc/onboarding.texi b/doc/onboarding.texi
@@ -218,17 +218,18 @@ responsible for building the code hosted at the inactive user and,
if all tests succeed, switching the active user to the one whose code
has just been compiled and tested.
-NOTE: this worker is also responsible to run the script which tops
-the tip reserve up; however, this task is triggered by a "periodic scheduler"
-once every 10 days. A "force build" button is also offered to run
-this task.
-
The worker is implemented by the @emph{testswitcher} user. This user
has some additional "sudo" rights, since it has to act as @emph{test-blue},
`test-gree@emph{$1}est` user in order to accompish its task.
Note that the "sudo file" is tracked in this (@emph{deployment}) repository,
under the @emph{sudoers} directory.
+@subsubsection Tip reserve topper
+This worker is also responsible to run the script which tops
+the tip reserve up; however, this task is triggered by a "periodic scheduler"
+once every 10 days. A "force build" button is also offered to run
+this task.
+
@subsection Manual switch
After the desired blue/green party has been compiled, it is possible to
