[incubator-hop-docs] branch master updated: push to HEAD:master

[hansva]

This is an automated email from the ASF dual-hosted git repository.

hansva pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-hop-docs.git


The following commit(s) were added to refs/heads/master by this push:
     new ddd4fdd  push to HEAD:master
ddd4fdd is described below

commit ddd4fddfd37d8b84e90af7c30b9dd1d9117421cf
Author: Hans Van Akelyen <hans.van.akel...@gmail.com>
AuthorDate: Sun Nov 8 15:54:56 2020 +0100

    push to HEAD:master
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2f75bdf..ef72dd7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -99,7 +99,7 @@ pipeline {
                 sh './generate_navigation.sh'
                 sh 'git add .'
                 sh 'git commit -m "Documentation updated to $GIT_COMMIT"'
-                sh 'git push --force origin master'
+                sh 'git push --force origin HEAD:master'
             }
         }
         stage('Website update') {
@@ -112,7 +112,7 @@ pipeline {
             }
         }
     }
-    
+
     post {
         always {
             cleanWs()