[Libreoffice-commits] dev-tools.git: ciabot/run-libreoffice-ciabot.pl

[Miklos Vajna]

 ciabot/run-libreoffice-ciabot.pl |    2 ++
 1 file changed, 2 insertions(+)

New commits:
commit a010c418ff5940b0103745945658b4ff9b914eda
Author: Miklos Vajna <vmiklos at collabora.co.uk>
Date:   Mon Oct 5 14:05:31 2015 +0200

    ciabot: add online and dev-tools repos
    
    Change-Id: I8fffff47bd3d5109482c46131e5adc442381f597

diff --git a/ciabot/run-libreoffice-ciabot.pl b/ciabot/run-libreoffice-ciabot.pl
index 517960c..37163e8 100755
--- a/ciabot/run-libreoffice-ciabot.pl
+++ b/ciabot/run-libreoffice-ciabot.pl
@@ -180,6 +180,8 @@ print timestamp() . " Checking for changes in the libreoffice repo & sending rep
     "dictionaries",
     "help",
     "si-gui",
+    "online",
+    "contrib/dev-tools",
 );
 
 $test = 0;