@portal_url.setter
def portal_url(self, value: Optional[pulumi.Input[str]]):
    pulumi.set(self, 'portal_url', value)
@portal_url.setter
def portal_url(self, value: Optional[pulumi.Input[str]]):
    pulumi.set(self, 'portal_url', value)