Hacker News new | ask | show | jobs
by skiman10 2298 days ago
This is awesome!

Aside, does anyone know how to change labels to PRs based on merge status with github actions?