nightly updates to the git repositories