On Thu, Mar 14, 2019 at 4:03 AM Lassi Kortela <xxxxxx@lassi.io> wrote:
 
This kind of visual overview would be a big motivator for me: just keep
working at it until all the rows are green.

Yes, that's a nice visualization.
 
The dashboard would be auto-updated by our verification tool running on
some Continuous Integration server :) We could install Git hooks onto
the SRFI GitHub repos to submit all pull requests for checking to CI. I
believe GitHub can even be configured so that merging to the master
branch is not allowed until the checks pass.

I like the idea of using hooks except for one thing: I'm reluctant to make use of such features of Github because I don't want to be too tied to Github.  Github is a great service, and I'm very happy with its free repo hosting.  However, I've gone to some lengths so far to avoid entanglements that make the SRFI process dependent on Github.  Part of the reason for this is that a significant, or at least vocal, part of the Scheme community feels strongly about free software as opposed to open-source software.  That, and the desire to match authors' preferred work flows, is why I accept not only pull requests but also complete updates and diffs from authors, why the SRFI site hosts ".tgz" files containing all the latest files for every SRFI, and why I document all pull request activity on the mailing lists.  So far, no one has felt strongly enough to mirror our Git repos somewhere else, but I don't want to make it harder to do that or to move some day.

Despite this restriction, I'm sure there's a way to hook into a CI server without actually using Github hooks.