> tell me what you think of this idea: whenever I add or update an SRFI,
> I'll run a command that will do an HTTP GET from a URL of your choice.
> That URL will encode the SRFI number.  Your code could then sync with
> the Git repository and do whatever you wanted it to do.  Would that be
> enough of a trigger to start whatever remote job you want to start?  The
> command could fetch from several such URLs so that independent systems
> on differentn hosts could be triggered.

This is more or less exactly what the experimental SRFI CI server does.
The GitHub organization-wide webhook makes this incredibly easy (most of
the complexity in the experimental server is related to other things
entirely - in particular, no SQL database is needed to deal with the
GitHub webhook). If we do anything like this, I would just suggest
hooking into that. I imagine GitLab and others have a similar hook.

The hook sends a HTTP POST with JSON about every event that happens to
any repository under the organization. The server then has very simple
code to filter out the events we don't care about.