> From: Lassi Kortela <xxxxxx@lassi.io>
> Date: Friday, August 07, 2020 10:43 AM
>
> [ GitLab as hosted by the company is unsatisfactory as a master due
>   to a long standing culture of operations incompetence. ]
>
>> One other reason to make it the master is that I'm pretty sure a
>> lot more people have GitHub accounts than GitLab ones, and if both,
>> use the former a lot more, if not all but exclusively.
>
> True. We have an interminable, minor GitHub vs GitLab vs others vs
> private server tug-of-war in the Scheme community :)

I'm under the impression that GitHub has 95% or more mind share.  That
will of course change as they ban more people, but for now....

>> I've suggested that pull request discussions happen in the comments
>> on the pull request, and get scraped and sent as one digest to
>> the mailing list after resolution.  That way we can limit traffic
>> on the mailing list, by announcing when a pull request has been
>> made and providing a link, so those interested in the specific topic
>> can subscribe, and the rest aren't bothered.
>
> Sounds reasonable to do preparatory work where it suits people as long
> as decisions are made on the mailing list.

Well, I can speak only for myself, any discussion of the merits of a
Windows, macOS, systemd, etc. registry file will just result in my
unsubscribing from the registry mailing list.  Life's too short to spend
time on things I can reasonably anticipate never being interested in.

And how many of you would be interested for example in embedded
computing stuff?

> PRs cannot be disabled in GitHub. I think they can be in GitLab.
>
>> ssh.srfirsync.net "git clone git://github.com/scheme-requests-for-implementation/srfi-$i.git srfi/github/srfi-$i.git"
>
> OK, that is very easy!

Don't forget the "sleep 30" in the loop!  If you are doing it
frequently, I'd make the pause much longer.

> For subsequent ones do you need to replace the clone with pull?

I just tested that:

ssh.srfirsync.net "git -C schemeregistry/git/srfi-explorations/registry pull origin master"
From git://github.com/srfi-explorations/registry
 * branch            master     -> FETCH_HEAD
Already up to date.

But note that unless this rsync.net account gets used for something
more than git repos by the end of September, since you've demonstrated
that can be done with GitLib for example for no cost, it's going to be
withdrawn as a resource for the community, I can't justify the expense.

- Harold