andk/pause — pull request #94 by rjbs (2014-03-15 12:03:02+00:00)
Title: new-style skip reports

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.