feat: export affiliated repos as JSON for repo-pulse integration

[arun-gupta]

Summary

Add a minimal export script that queries repofinder's SQLite database and writes a JSON file of university-affiliated repositories. This JSON serves as the discovery feed for repo-pulse to batch-analyze OSS health of university repos.

Output Format

[
  { "full_name": "ucsd/triton-inference-server", "university": "UCSD" },
  { "full_name": "uclaml/some-repo", "university": "UCLA" }
]

Usage

python export.py --acronym UCSD --threshold 0.7 --output repos.json

Acceptance Criteria

• export.py script at repo root queries repositories table for affiliated, non-archived, non-fork repos
• Supports --acronym (university filter), --threshold (affiliation score cutoff), --output (output path)
• Output JSON has full_name and university fields per repo

Notes

• YAGNI — no UI, no additional fields beyond what repo-pulse needs
• Intended to be submitted as a PR to this repo
• Cross-linked with repo-pulse integration: feat: repofinder discovery feed → repo-pulse batch analysis arun-gupta/repo-pulse#520 and epic: repofinder ↔ repo-pulse integration arun-gupta/repo-pulse#525

Related

• repo-pulse integration epic: epic: repofinder ↔ repo-pulse integration arun-gupta/repo-pulse#525
• repo-pulse sub-issue: feat: repofinder discovery feed → repo-pulse batch analysis arun-gupta/repo-pulse#520