-READ--THIS- Exodus

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.

Jun 04 '18 23:06 DavidGriffith

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

Jun 05 '18 02:06 yichnal

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

Jun 05 '18 04:06 larsbrinkhoff

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

Jun 05 '18 04:06 DavidGriffith

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.

Jun 05 '18 05:06 larsbrinkhoff

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

Jun 05 '18 09:06 DavidGriffith

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

Jun 05 '18 09:06 DavidGriffith

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

Jun 05 '18 12:06 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.

Oct 17 '18 09:10 larsbrinkhoff

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

Oct 17 '18 10:10 eswenson1