From dd1b79eafdec8db33eb0dc14fc33fc8f49997fe0 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Wed, 21 Jun 2017 13:57:26 +0200
Subject: instructin to reload buildbot config

---
 doc/onboarding.texi | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/doc/onboarding.texi b/doc/onboarding.texi
index 3263c47..3565b93 100644
--- a/doc/onboarding.texi
+++ b/doc/onboarding.texi
@@ -82,11 +82,18 @@ $ ~/buildbot/stop.sh
 
 There is also a "restart" script, runnable as follows:
 
-
 @example
 $ ~/buildbot/restart.sh
 @end example
 
+NOTE: the following command reloads the configuration without
+restarting the bot.
+
+@example
+$ source ~/buildbot/venv/bin/activate
+$ buildbot reconfig ~/buildbot/master/
+@end example
+
 @subsubsection Documentation worker
 
 This worker is responsible for building all the documentation on
-- 
cgit v1.2.3