robpc

Adds automatic refresh for the PR list every 5 minutes. The refresh pauses when the tab is hidden and immediately refreshes when you switch back to the tab.

This matches the server-side cache time (5 minutes) to avoid unnecessary API calls.

This PR updates the PR card display to show all emoji reactions with their counts, separated into positive and negative lines, along with a total calculated score.

• Display all emoji reactions (👍, 👎, 😄, 🎉, 😕, ❤️, 🚀, 👀) with counts
• Update scoring: confused (😕) and eyes (👀) emojis count as -1, the rest as +1

This PR updates the PR card display to show all emoji reactions with their counts, separated into positive and negative lines, along with a total calculated score.

• Display all emoji reactions (👍, 👎, 😄, 🎉, 😕, ❤️, 🚀, 👀) with counts
• Update scoring: confused (😕) and eyes (👀) emojis count as -1, the rest as +1

Adds merged and total PR counts next to each author's name. Shows how many PRs each author has merged and their total submitted count. Un-opinionated version of https://github.com/skridlevsky/openchaos/pull/15, just info.

We should encourage the opposite... Some ideas: shiny badge on authors with no prior merges, votes are divided by number of prior merges.