def infra_endpoint(restapi_id, region, stage):
  """Returns the API endpoint for the remote build system."""
  return "https://{restapi_id}.execute-api.{region}.amazonaws.com/{stage}/ControlBuildInfra".format(
      restapi_id=restapi_id, region=region, stage=stage)