Changed id of distribution management server.
Correct project name in github.