[rules-dev] Peer reviewing on github with "commit comments": very useful