search

PDP-10 / -READ--THIS-

Information about the PDP-10 group.
37 stars 0 forks source link

Exodus #17

Open DavidGriffith opened 6 years ago

DavidGriffith commented 6 years ago

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 commented 6 years ago

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

larsbrinkhoff commented 6 years ago

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

DavidGriffith commented 6 years ago

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

larsbrinkhoff commented 6 years ago

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 commented 6 years ago

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

DavidGriffith commented 6 years ago

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

larsbrinkhoff commented 6 years ago

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

larsbrinkhoff commented 5 years ago

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 commented 5 years ago

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