Jenkinsfile: force push to gh-pages on revert

sabicalija · sabicalija · commit e5da63ba26b6 · 2019-03-28T20:50:20.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -170,7 +170,7 @@ pipeline {
               cd gh-pages
               git add *
               git -c user.name='Mr. Jenkins' -c user.email='studyathome@technikum-wien.at' commit -m 'docs: release asterics-docs'
-              git push https://$GH_TOKEN@github.com/asterics/asterics-docs.git
+              git push -f https://$GH_TOKEN@github.com/asterics/asterics-docs.git
             '''
           }
         }

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@ pipeline {`
`170`	`170`	`cd gh-pages`
`171`	`171`	`git add *`
`172`	`172`	`git -c user.name='Mr. Jenkins' -c user.email='studyathome@technikum-wien.at' commit -m 'docs: release asterics-docs'`
`173`		`- git push https://$GH_TOKEN@github.com/asterics/asterics-docs.git`
	`173`	`+ git push -f https://$GH_TOKEN@github.com/asterics/asterics-docs.git`
`174`	`174`	`'''`
`175`	`175`	`}`
`176`	`176`	`}`