Git repo containing references to external-to-GitHub contributions. Synced with sync-external-contributions.