Exodus

[DavidGriffith]

Due to the the takeover of Github by Microsoft, I recommend that we move the PDP-10 repos away from Github and to somewhere else, preferably Gitlab. I have verified that the import tools there work well. At the very lease, I urge everyone who has collaborated on the PDP-10 projects to create for themselves an account at Gitlab using the same usernames they have here. It'll make the changeover much easier.

I am in the process of moving my own repos over there now.

[yichnal]

https://discord.gg/TnNzECZ to talk about the Exodus David ?
Like I don't have a username on gitlab, I login using Google...

[larsbrinkhoff]

Many PDP-10 repositories have been mirrored to GitLab for a long time. There's a corresponding PDP-10 group over there.

[DavidGriffith]

Could we get things going to make the pdp-10 group there a mirror of the one here?

[larsbrinkhoff]

Sure, go ahead and mirror everything that isn't already.

I knew GitHub wouldn't last forever, so I'm not startled about Microsoft swooping in. We'll always have to consider multiple hosting options.

[DavidGriffith]

Thanks. Would you please add me to the list of people able to create/import repositories?

[DavidGriffith]

@StephaneFr the main point is that the username that shows up at Gitlab should be the same one that shows up here.

[larsbrinkhoff]

I don't dislike Discord, but now there's an established IRC channel: #PDP-10 @ freenode.net.

[larsbrinkhoff]

I asked Richard Stallman's permission to add the "EMACS LORE" file to the ITS repository. He agreed, but wanted the repo to move off GitHub.

I believe that has been the plan, but we're still in a "wait and see" mode.

CC @DavidGriffith, @eswenson1, @atsampson.

[eswenson1]

I'm in favor of moving from GitHub to GitLab. I'm uncomfortable with any dependency on Microsoft.