summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarcello Stanisci <stanisci.m@gmail.com>2019-03-25 13:30:17 +0100
committerMarcello Stanisci <stanisci.m@gmail.com>2019-03-25 14:44:50 +0100
commit308225aff3ab06f979fa4eeb11cbeee21840b22b (patch)
tree603f722f3a40951828e3702dbb71b66a90bde692 /doc
parent5c84b66dde211937f4576e88098bc36915451b60 (diff)
downloaddeployment-308225aff3ab06f979fa4eeb11cbeee21840b22b.tar.gz
deployment-308225aff3ab06f979fa4eeb11cbeee21840b22b.tar.bz2
deployment-308225aff3ab06f979fa4eeb11cbeee21840b22b.zip
onboarding
Diffstat (limited to 'doc')
-rw-r--r--doc/onboarding.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/onboarding.texi b/doc/onboarding.texi
index 1ab8dab..880e606 100644
--- a/doc/onboarding.texi
+++ b/doc/onboarding.texi
@@ -291,7 +291,7 @@ TBD
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.
+this task. The service is offered by the @emph{reserve-topper} user.
@subsection Manual switch