A more informative GitHub dashboard

GitHub made the dashboard more compact after developers said the new default version used too much space to show too little.

Padding is reduced across the pull request, issue, and agent session lists, so more fits on screen. Long titles now stay on one line instead of wrapping, and you can still get the full text. Pull requests and issues show six items by default instead of three, and any custom selections you've already made are kept.

The agent sessions section is now hidden if your account has no agent sessions.