Remove unused property `github.global.server`.