PR monitor refresh rate updated to 5m.

This call is made a lot, and results in some rate limiting on the part of the Github API. Decreasing it because of that. It's not something that needs to be constantly updated anyway.