1.7.2

Reduce GitHub API traffic from sc ui by sharing a five-minute cache across tabs
and pausing polling in hidden tabs. Stop refreshes when GitHub rate-limits requests,
respect its retry timing, and preserve previously loaded PR and CI information.

This release was contributed by @patrick91 in #147