set the git user for develop.ontohub.org.