rate-limit-prevention

[robin-thoene]

The connected APIs of git providers (may) have rate limits in place.

As easy circumvention for the time being, we could do the following:

• let the frontend cache the PR view requests for a few minutes, so navigating would not flood the APIs
• set a maximum for repositories that can be marked as active