I am of split opinion on this one.

On the pro side, we can then see if the changes in sources will work and generate a good repository.

On the con side, this will allow arbitrary PRs to "test pull" any repo mentioned in a PR and therefore maybe explode our usage limits.

@dmolineus any opinion on this?