Handling User Feedback: A Case Study With GitHub Actions Manager by Daniel Moran