[gerrit]
host = git.adacore.com
project = alt-ergo
defaultbranch = master
defaultremote = origin
