Remove bots and agents from contributor leaderboard

[Copilot]

Bots (@Copilot, @github-actions[bot]) were appearing in the top contributors leaderboard, displacing real human contributors.

Changes

• profile/scripts/updateReadme.js — Added isBot() helper that excludes accounts where user.type === 'Bot' or user.login ends with [bot]. Applied at all three contribution-counting sites (commits, PRs, issues):

function isBot(user) {
  if (!user) return false;
  if (user.type === 'Bot') return true;
  if (user.login && user.login.endsWith('[bot]')) return true;
  return false;
}

• profile/README.md — Removed existing bot entries from the static leaderboard snapshot; human contributors re-ranked accordingly.

---

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.