[gerrit] host = git.adacore.com port = 29418 project = xmlada defaultbranch = master defaultremote = origin