chiark / gitweb /
Use origin/HEAD as the default checkout for git
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 25 Jun 2014 09:12:53 +0000 (11:12 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 25 Jun 2014 09:13:28 +0000 (11:13 +0200)
commitc0f026c9c4af8ef9c4c2f4b56d68ddb78433eb11
treeaffa9966e73b7a0a972c6a706c34929f25dcfbd5
parentc9638cf7ddd0082a6fd7438a0defeb36e787fd47
Use origin/HEAD as the default checkout for git

This should fix many RepoManifest UCMs where 'master' is not the default
branch
fdroidserver/common.py