Question: Should we change the name of the GitHub repo for the EPUB 3 Specification?

Hi Everyone,

It has been proposed that we change the name of our GitHub repository:

Current name: https://github.com/w3c/publ-epub-revision/

Proposed new name: https://github.com/w3c/epub-specs/

Please let us know if you have any thoughts about this. You can vote +1 to
support the change, -1 to oppose the change and keep the old name, or 0 to
abstain/have no opinion.

Thanks,

Dave