IMP: review pinging (`@`-notification) of users by the mergebot and forwardbot The bots should more consistently ping users when they need some sort of action to proceed.