PRNotch Review: GitHub PRs in Your Mac's Notch | Stack Tool