Gora retirement - Infra Jira ticket has not yet been raised

[sebb]

The Infra Jira ticket has yet to be raised for Gora.
Is that because the project are doing some of the work, so we don't
yet want to close down resources that the project may still need?

Sebb