MonitorLizard 1.2.0 released: - Adds the ability to add another user's PR to watch - Adds the ability to locally change the display name of a PR you are watching https://github.com/SeanMcTex/MonitorLizard