diff --git a/dev-support/Jenkinsfile b/dev-support/Jenkinsfile
index d45d22c0c172..62b8419d917d 100644
--- a/dev-support/Jenkinsfile
+++ b/dev-support/Jenkinsfile
@@ -14,6 +14,7 @@
 // KIND, either express or implied.  See the License for the
 // specific language governing permissions and limitations
 // under the License.
+// just for triggering pre commit
 pipeline {
   agent {
     node {