pull requests and issues across repos outside my own, pulled live from github. ✓ merged/resolved · ○ open · ✕ closed.