ci: debian branch, pull the debian branch before trying to merge with master

2017-08-02 22:08:42 +02:00
parent cad70ba453
commit 97b52526c5
1 changed files with 1 additions and 0 deletions
@@ -292,6 +292,7 @@ packaging:deb:
  before_script: []
  script:
    - git checkout debian
+    - git pull
    - git merge --no-commit --no-ff master
    - mk-build-deps
    - apt update -y