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?
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?