Open larsbrinkhoff opened 3 years ago
Also, I think the old name will redirect to the new.
But the PDP-6 org is empty with not much in sight to fill the void. i think it makes more sense to keep everything PDP-6 related in the 10 org.
Granted, but that's supposed to change. Let's wait and see what @bgbaumgart contributes.
Move to PDP-6 organization. My reasoning is, sure in one way it's fine among the other PDP-10 repositories, but on the other hand it's not like people are flocking to access this repository.
Objections?