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

Move Issues from Spec Registries to DID Core #367

Closed
OR13 opened this issue Aug 7, 2020 · 7 comments
Closed

Move Issues from Spec Registries to DID Core #367

OR13 opened this issue Aug 7, 2020 · 7 comments
Assignees
Labels
pending close Issue will be closed shortly if no objections

Comments

@OR13
Copy link
Contributor

OR13 commented Aug 7, 2020

Not getting enough contribution to the following spec registries issues: https://github.com/w3c/did-spec-registries/issues?q=is%3Aissue+is%3Aopen+label%3Amove-to-did-core

proposing we move them to did core.

@OR13 OR13 self-assigned this Aug 7, 2020
@msporny msporny assigned msporny and unassigned OR13 Sep 1, 2020
@msporny
Copy link
Member

msporny commented Sep 1, 2020

This is waiting on me to move things over.

@msporny
Copy link
Member

msporny commented Sep 22, 2020

I have still not done this, I'm trying to preserve history... need to track down the tool to do that.

@kdenhartog kdenhartog assigned kdenhartog and unassigned msporny Nov 12, 2020
@kdenhartog
Copy link
Member

I've gone through them all and many of them look semi addressed at this point. I've left comments to get authors to respond if they still want to transfer the issues to did-core and if so I can do it @msporny (from the looks of it I can handle it with my permissions on the two repos)

@msporny
Copy link
Member

msporny commented Nov 12, 2020

@kdenhartog wrote:

I've left comments to get authors to respond if they still want to transfer the issues to did-core and if so I can do it @msporny (from the looks of it I can handle it with my permissions on the two repos)

Yes, please move them if you have permissions to do so @kdenhartog ... I am utterly failing to get to this item on my todo list.

There is some tool on the Internet that lets you move Github issues (along with all comments) from one repo to another. It's not perfect, all comments show up as you (but it saves the original commenters name somehow). I believe @kimdhamilton used this tool at some point in the distant past.

Thank you in advance @kdenhartog!

@brentzundel
Copy link
Member

@kdenhartog can you update us on the status of this?

@kdenhartog
Copy link
Member

The only issue that was left has been moved: #478

The rest have either been addressed in a PR and closed/pending close or were no longer relevant and closed. I suggest declaring this issue complete and will label it pending close.

@kdenhartog kdenhartog added pending close Issue will be closed shortly if no objections and removed pre-cr-p2 labels Dec 8, 2020
@brentzundel
Copy link
Member

No objections raised since marked pending close, closing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pending close Issue will be closed shortly if no objections
Projects
None yet
Development

No branches or pull requests

4 participants