In order to keep the ExternalPullRequest record in sync
with GitHub we need to update the info when any metadata
we track changes. When the source_sha changes because of
a branch push, GitHub emits the :synchronize action on
the pull_request webhook.