Specify server for deployment until pull request is merged.