GitHub pull requests

Track a GitHub repository's pull requests as References — new PRs sync automatically, and merged PRs settle as active.

This collection is filled from its source and kept in sync, so it ships with no policies of its own.