Closed athieriot closed 11 years ago
To detect Github PR URLs even if the name of the bot is not said
To detect Github PR URLs even if the name of the bot is not said