Learn more about these different git repos.
Other Git URLs
I would like to have tetex-tex4ht renamed to tex-tex4ht.
This needs to be done just like any other package name change. Treat the new name as a new package, then do the end of life process for the old name.
Login to comment on this ticket.