new-style skip reports #94

wants to merge 2 commits into


None yet
1 participant

rjbs commented Mar 15, 2014

This provides a new facility for saying "skip this dist, but send a report about why."

This is used by other branches (distname-pkg and dev-in-meta), and tests for it live there.

rjbs added some commits Mar 15, 2014

@rjbs rjbs allow for empty MANIFOUND
This happens in some cases where we decide to skip before
we unpack the dist.
@rjbs rjbs add a new means to say "skip indexing, but say so" 26b05c4

rjbs closed this Mar 15, 2014

rjbs deleted the rjbs:skip-report branch Mar 15, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment