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