try to get it working

diff --git a/build.py b/build.py
index 4c1d779b936c8cdfc17f32de504867655ad47ac7..1266d1bf90b3762faee2c750d3113637687bf480 100755 (executable)
--- a/build.py
+++ b/build.py
@@ -261,7 +261,7 @@ if __name__ == '__main__':
 
     repo = git.repo.Repo()
     # hacked by holger
-    repo.checkout('develop')
+    repo.heads.develop.checkout()
     
     if repo.active_branch != 'master' and GIT_DEBIAN_BRANCH != 'master':
         git_helper.git_checkout_branch(GIT_DEBIAN_BRANCH)