gerrit.wikimedia.org repos don't have origin/HEAD unfortunately