Build what's next on GitHub, the place for anyone from anywhere to build anything.
Join us October 28-29 in San Francisco or online for GitHub Universe, our flagship developer event uniting people, agents, and the world's code.
We have just added notifications when a Pull Request is merged and when an Issue/Pull Request is closed or reopened. Issue Close: Merged Pull Request: You get the idea —…