irc pinger. pings the reviewer on IRC.

formatting and use link to PR instead of a irc-channel-link