Add GitHub Projects v2 display to repository detail page

[Copilot]

• [x] Explore the repository structure and identify files to modify
• [x] Locate the repository detail view (website/views/repo.py)
• [x] Locate the repository detail template (website/templates/projects/repo_detail.html)
• [x] Identify the Milestones section in the template
• [x] Research GitHub Projects API v2 for fetching project data
• [x] Create a function to fetch GitHub Projects from the API
• [x] Update the RepoDetailView to fetch and pass GitHub Projects to template
• [x] Update the template to display GitHub Projects next to Milestones
• [x] Fix code review issues (authorization header, error handling, logging)
• [x] Optimize GraphQL query to fetch only 10 items instead of 20
• [x] Improve issue state display with colors for OPEN, CLOSED, MERGED states
• [x] Fix item count display to be dynamic based on actual items
• [x] Apply PR review feedback:
  • Added GraphQL error checking in response body
  • Changed authorization header from 'token' to 'Bearer' for GraphQL API
  • Clean repo_name to handle '.git' suffix and trailing slashes
  • Added dark mode hover variant for project cards
• [x] Remove duplicate GraphQL error check (lines 405-407)
• [x] Apply ruff-format code style fixes (double quotes, trailing commas, whitespace)
• [x] All changes validated and tested

Original prompt

on the repository detail page, next to milestones also show the list of projects from the github projects linked to the repository their summaries, status and linked issues

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.