Fix github url in Serversetup.