chiark / gitweb /
jenkins-build-makebuildserver: make sure fdroiddata is on master
authorHans-Christoph Steiner <hans@eds.org>
Mon, 14 Mar 2016 08:35:23 +0000 (09:35 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 14 Mar 2016 08:35:23 +0000 (09:35 +0100)
commit0fef06a5c90d935cfc70084150cec9214ce19570
treee721da593ff6d454794f89fa9feb1717c884397c
parentbaad79f9e887ba70e4355661338b76823ce3d6a3
jenkins-build-makebuildserver: make sure fdroiddata is on master

on the GP jenkins, I got this:

+ git pull
From https://gitlab.com/fdroid/fdroiddata
   1df2d03..621ef4f  master     -> origin/master
You are not currently on a branch. Please specify which
branch you want to merge with. See git-pull(1) for details.

    git pull <remote> <branch>
jenkins-build-makebuildserver