[jakarta.ee-spec.committee] GitHub repository naming conventions?

[Bill Shannon <bill.shannon@xxxxxxxxxx>]

Have we decided on naming conventions for the GitHub repositories
that are part of specification projects?  For example, will we have

github.com/eclipse-ee4j/wombat-spec
github.com/eclipse-ee4j/wombat-tck
github.com/eclipse-ee4j/wombat-api

(Ignoring the eventual "eclipse-ee4j" -> "jakartaee" renaming.)

Will there be a

github.com/eclipse-ee4j/wombat

repository?  And what would it contain?

Which one of the above repositories would host the GitHub Pages web site?
eclipse-ee4j.github.io/wombat-spec?

Would we expect GitHub Pages web sites for the other repos?  What would
they contain?

And when should we use a GitHub Pages web site vs. a GitHub Wiki?