use git url for gavel specification