diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-03-25 13:30:17 +0100 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-03-25 14:44:50 +0100 |
commit | 308225aff3ab06f979fa4eeb11cbeee21840b22b (patch) | |
tree | 603f722f3a40951828e3702dbb71b66a90bde692 /doc | |
parent | 5c84b66dde211937f4576e88098bc36915451b60 (diff) | |
download | deployment-308225aff3ab06f979fa4eeb11cbeee21840b22b.tar.gz deployment-308225aff3ab06f979fa4eeb11cbeee21840b22b.tar.bz2 deployment-308225aff3ab06f979fa4eeb11cbeee21840b22b.zip |
onboarding
Diffstat (limited to 'doc')
-rw-r--r-- | doc/onboarding.texi | 2 |
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 |