No manual sync with repo since this is done by jenkins

2021-07-10 13:34:29 +02:00 · 2021-07-10 13:34:29 +02:00 · ceabe3f6f8
commit ceabe3f6f8
parent 6b33d20f90
1 changed files with 0 additions and 9 deletions
--- a/9
+++ b/9
@ -2,15 +2,6 @@ pipeline {
 	agent any
 	
 	stages {
-		stage('sync') {
-			steps {
-				script {
-					sh 'git pull'
-					sh 'git checkout develop'
-				}
-			}
-		}
-		
 		stage('migration') {
 			steps {
 				script {