Runner registration tokens are currently generated via a raw HTTP call to the GitHub API (pkg/integrations/github/api.go), outside the Pulumi lifecycle. On mapt destroy, the VM is deleted but the runner is never deregistered from GitHub.
Replace with Pulumi's github.getActionsRegistrationToken (https://www.pulumi.com/registry/packages/github/api-docs/getactionsregistrationtoken/) data source. This ties token generation to the Pulumi stack and could enable automatic runner deregistration on destroy. This could also fix the stale runner / name collision problem.
Ref: #831 (comment)
Runner registration tokens are currently generated via a raw HTTP call to the GitHub API (pkg/integrations/github/api.go), outside the Pulumi lifecycle. On mapt destroy, the VM is deleted but the runner is never deregistered from GitHub.
Replace with Pulumi's github.getActionsRegistrationToken (https://www.pulumi.com/registry/packages/github/api-docs/getactionsregistrationtoken/) data source. This ties token generation to the Pulumi stack and could enable automatic runner deregistration on destroy. This could also fix the stale runner / name collision problem.
Ref: #831 (comment)