has anyone used the github provider

pull_request

resource? https://www.pulumi.com/registry/packages/github/api-docs/repositorypullrequest/ https://registry.terraform.io/providers/integrations/github/latest/docs/resources/repository_pull_request This one seems a bit weird. Like you’d have to constantly be adding resources to a stack (new pull requests), or you need to automatically “forget” the resource, so you can recreate it? (

pulumi state rm

) I’m curious if anyone has used this before, and how they are using it.