chiark / gitweb /
Use any of the branches that point to origin/HEAD if there are multiple
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 3 Jul 2014 14:25:24 +0000 (16:25 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 3 Jul 2014 14:25:24 +0000 (16:25 +0200)
commit00066a9b450c3ce33a9b798fdb3da67372c65df3
tree9d98875e3e1b538d14da32f5572f067e528e9b95
parentebfce778bc8190738ffe91912c730d102024273d
Use any of the branches that point to origin/HEAD if there are multiple

'set-head origin --auto' fails if there are multiple branches that are the
same as origin/HEAD:

error: Multiple remote HEAD branches. Please choose one explicitly with:
  git remote set-head origin develop
  git remote set-head origin master

So we want to grab any of them, e.g. the first branch that it gives us, and
just use that as it will work just fine.
fdroidserver/common.py