On Tue, Mar 12, 2019 at 9:06 AM Lassi Kortela <xxxxxx@lassi.io> wrote:
 
How quick is it for you to merge PRs in GitHub?

RIght now, it's a manual process — several clicks per SRFI.

It seems like it would be easier for me to adapt your script.  But adjusting the date format isn't a high priority for me now, which is why I'd rather wait until more global changes are ready before moving ahead.  Activation energy and so forth.