[gerrit]
host = git.adacore.com
project = z3
defaultbranch = master
defaultremote = origin
