From a93da9067e62d288fcb212147498e57692559409 Mon Sep 17 00:00:00 2001 From: Mathias Klette Date: Wed, 16 May 2012 16:42:04 +0200 Subject: [PATCH] let's reset before clone --- debian_build.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/debian_build.py b/debian_build.py index 2c608d4..d204a6a 100755 --- a/debian_build.py +++ b/debian_build.py @@ -252,6 +252,10 @@ if __name__ == '__main__': repo = git.repo.Repo() + # reset local repository first + gitcmd = git.Git('.') + gitcmd.reset('HEAD') + #if GIT_BRANCH_NAME != 'master': localname = GIT_BRANCH_NAME remotename = os.path.join('origin', GIT_BRANCH_NAME) -- 2.39.5