Skip to content

repo-updater: Serialize Source requests

Administrator requested to merge core/serial-github-requests into master

Created by: tsenart

This change set does two things:

  1. Conservatively makes Sources of the same external service kind be processed serially.
  2. Change GithubSource so that it performs requests serially.

Fixes #3582

Merge request reports