GitHub Actions repo

[UnstoppableMango]

No description provided.

[Copilot]

Pull request overview

This PR adds a new managed public repository entry for an actions repo (intended for shared GitHub Actions) to the existing Pulumi/GitHub repository configuration, and includes it in the exported repository-name list used elsewhere in this project.

Changes:

• Define a new PublicRepo('actions', …) with description and required GitHub Actions status checks.
• Add actions.repo.name to the exported repos list.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[pulumi]

🍹 The Update (preview) for UnstoppableMango/unmango-github/prod (at 204f4ab) was successful.

Resource Changes

    Name     Type                                                                      Operation
+   actions  github:index/repositoryVulnerabilityAlerts:RepositoryVulnerabilityAlerts  create
+   actions  unmango:github:PublicRepo                                                 create
+   actions  github:index/repository:Repository                                        create
+   actions  github:index/repositoryRuleset:RepositoryRuleset                          create