From 9d068d2be200a1209182b3d72f967a0134a04423 Mon Sep 17 00:00:00 2001
From: Marc Garcia Puig <marcgpuig@gmail.com>
Date: Thu, 12 Dec 2019 14:03:00 +0100
Subject: [PATCH] Fix dirty packages

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7d8856c26..ef4440377 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -78,6 +78,7 @@ pipeline {
         stage('Deploy') {
             when { anyOf { branch "master"; buildingTag() } }
             steps {
+                sh 'git checkout .'
                 sh 'make deploy ARGS="--replace-latest --docker-push"'
             }
         }