4 ms·A Peer Review Bot for GitHub: Because reviews rock, but managing them is tedious1 points by felixrieseberg 11y ago