A developer built the GitHub Issue Auto-Labeler as a submission for the Pulumi Deploy and Document Challenge.The tool automates GitHub issue management using Pulumi and Node.js.It labels issues in real-time based on keywords, posts friendly comments, and auto-closes stale issues.The developer used Pulumi to define and deploy GitHub labels as code, saving time and ensuring consistency.