GitHub repository: thomasStbr/notify-mentioned-PR
Primary language: JavaScript
Description: github action to notify when mentioned PR has been closed