Merge pull request #1753 from CircleCI-Public/resolve-repos-from-provider-repositories