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