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