Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Repository transfer proposal #1

Closed
alerque opened this issue Sep 23, 2020 · 6 comments
Closed

Repository transfer proposal #1

alerque opened this issue Sep 23, 2020 · 6 comments

Comments

@alerque
Copy link

alerque commented Sep 23, 2020

Before this repo goes any farther, can I propose that we ⓐ rename & archive or delete this repo out of the way, then ⓑ transfer this repo into this org namespace, then ⓒ rename it as appropriate, then ⓓ cherry pick the commits to this repo to the other one to bring it up to speed with the code of conduct, etc. This will best preserve the edit and comment history to the charter which I believe is significant.

@lianghai
Copy link
Collaborator

Right. I suggested (a), (c), and (b) to @svgeesus yesterday, but didn’t realized the possibility of (d). Let’s wait for Chris’s response.

@alerque
Copy link
Author

alerque commented Sep 23, 2020

Operation ⓓ is a bit of advanced Git foo whereby you can git cherry-pick or even git merge from repositories that don't have the same root. I'd be happy to take care of that step. In fact let me just open a PR onto the original repository with that step done so that it will come across ready made with the transfer in ⓑ.

@xfq
Copy link
Member

xfq commented Sep 26, 2020

This suggestion looks good to me, so I'll go ahead and do it today.

@svgeesus If you think there is anything wrong, please let me know.

@xfq
Copy link
Member

xfq commented Sep 26, 2020

  • rename this repo
  • transfer the CG repo into w3c org namespace
  • make sure that people who have owner/admin permissions in the old CG repo have owner/admin permissions in the new CG repo too
  • rename it as appropriate
  • cherry pick the commits to the new repo
  • archive/delete the old repo (this repo)

I will modify the task list here after I finish each step.

@alerque
Copy link
Author

alerque commented Sep 26, 2020

Thanks @xfq. I've done the cherry-picking (see this PR) and merged the result. Everything from this repo is already in the replacement, I think the only step left is to archive/delete.

@alerque
Copy link
Author

alerque commented Sep 26, 2020

(Closing this issue in case the decision is to archive, in which case this can't be closed later and it's nice to have zero open issues — but deletion is probably a fine outcome too.)

@alerque alerque closed this as completed Sep 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants