git interface: use getServerPlatform