On Tue, Mar 12, 2019 at 6:22 PM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:
>> How quick is it for you to merge PRs in GitHub?
>
> RIght now, it's a manual process — several clicks per SRFI.

May I suggest a different approach?

What is the usefulness of having a repository per SRFI (in final
status)?  (I guess the only use is to be able to manage the editorial
process pre-finalization.)

Wouldn't it be saner to just have a single repository with all the
final SRFI's in the same place?
(Again, I'm speaking only about the SRFI's in the final status.)

This would have the following advantages:
* obviously fewer repositories to juggle for any future "changes";
* easier for people to work on their contents;  (as it stands today,
one has to take each repository in turn, clone it and put it in a
structure that makes some sense;  I know there is a TAR with all of
them, but that is not versioned;)

I see almost no disadvantages...

Ciprian.