[DEFAULT] debian-branch=debian/master