Update notes for submitted changes

* Add "Gerrit IRC Notifications" section to infra manual