Closed this issue 11 years ago · 0 comments
To detect Github PR URLs even if the name of the bot is not said