TIP: to easily follow up on Github notifications, I use Octobox.io. This online app is free, hooks into the Github notifications API and you can create custom filters to track anything on github that you can be notified of: issues, PRs, comments, releases, … The app is activated/allowed on the

pulumiverse

organization, so you shouldn’t have a problem to activate it with your personal Github account.