Establishing a Scheme registry: making a decision
Lassi Kortela
(04 Aug 2020 07:13 UTC)
|
Re: Establishing a Scheme registry: making a decision
hga@xxxxxx
(04 Aug 2020 10:01 UTC)
|
Re: Establishing a Scheme registry: making a decision
Lassi Kortela
(04 Aug 2020 10:30 UTC)
|
Re: Establishing a Scheme registry: making a decision
hga@xxxxxx
(04 Aug 2020 10:55 UTC)
|
Re: Establishing a Scheme registry: making a decision Lassi Kortela (04 Aug 2020 11:07 UTC)
|
Re: Establishing a Scheme registry: making a decision Lassi Kortela 04 Aug 2020 11:07 UTC
>> Many Schemers are also in gitlab nowadays. > > Not sure if running parallel hosting providers is worth the effort, > especially in my plan for discussion to happen in pull request > comments, to be scraped and archived in a single message batch to a > mailing list when the request is resolved. But the current obvious > place to move if GitHub/Microsoft betrays us. Either host is fine with me. As you say, it's Git so we can always move. >>> using the rsync.net backup account >> >> Backing up there is fine. > > Indeed, but people other than me have to start doing it. Backup concerns ought to be much the same no matter which Git host and web server we use, right? >> Yes, e.g. a shell script that runs rsync :) > > Turns out rsync.net also provides a git server! > > https://blog.kozubik.com/john_kozubik/2010/02/git-and-subversion-support-at-rsyncnet.html > > https://www.rsync.net/resources/howto/github.html Those blog posts simply log in via ssh and use command line git to clone repos as usual. That's nice, but can be done on any Linux server. > Raw storage is expensive compared to dumb object storage like AWS's > iconic S3, or Deep Glacier at 1 US$/TiB/month (!!!), but the use and > support of it is really attuned to people like us. It's overall a > class act owned and run by one of us vs. a "suit", let alone VCs. I meant rsync for uploading things to our web server (a very simple task). For the source data, We should store everything important (that cannot be easily re-generated using a script) in Git repos. There are now so many places to push repos (e.g. GitHub and others can host gigabyte-sized repos) that Git is effectively a standard file transfer protocol and backup medium. And it keeps history in a standard way that we already know how to use. rsync is nice, but it's error-prone for anything complex especially when multiple people work on the same data. Re: backup storage, there's also <https://www.tarsnap.com> which is a hacker favorite. But I'd recommend Git for all our stuff. For things that can be generated, we can use Scheme scripts, and for servers, there's infrastructure-as-code (Ansible or the like) which means our server configs can be tracked in git.