commit c27ca2d5042811156cda06260bf3604c7987d470
author Zack Williams <zdw@opennetworking.org> Wed Apr 11 13:16:45 2018 -0700
committer Zack Williams <zdw@opennetworking.org> Wed Apr 11 19:05:10 2018 -0700
tree 9cb2f92ef84aec39110f91575117735f7a3b1379
parent 47a598c409dff19ed40f77ad2478561236b54096

Fix the documentation-* jobs, and add SSH publisher

Change-Id: Ie28cf03be5ad62d49c80e4c83b4d58a97226c4af

jjb/lint.yaml

diff --git a/jjb/lint.yaml b/jjb/lint.yaml
index e08f8e6..171c469 100644
--- a/jjb/lint.yaml
+++ b/jjb/lint.yaml
@@ -15,6 +15,7 @@
           gerrit-server-name: '{gerrit-server-name}'
           project-regexp: '^{project}$'
           branch-regexp: '{branch-regexp}'
+          file-include-regexp: '{all-files-regexp}'
           dependency-jobs: '{dependency-jobs}'
 
     properties:
@@ -57,6 +58,7 @@
           gerrit-server-name: '{gerrit-server-name}'
           project-regexp: '^{project}$'
           branch-regexp: '{branch-regexp}'
+          file-include-regexp: '{all-files-regexp}'
           dependency-jobs: '{dependency-jobs}'
 
     properties:
@@ -99,6 +101,7 @@
           gerrit-server-name: '{gerrit-server-name}'
           project-regexp: '^{project}$'
           branch-regexp: '{branch-regexp}'
+          file-include-regexp: '{all-files-regexp}'
           dependency-jobs: '{dependency-jobs}'
 
     properties: