3 ms·Show HN: PR Monitor – Get notified when you receive a pull request on GitHub1 points by fwouts 7y ago