I notice under 'repository metadata' I can publish a repo event, issuing an ownership claim for your repository with a different name, is that intentional?

I also notice that you havn't yet issued one. Can you do so? I'd love to explore integrations with gitworkshop.dev. Some git server providers (annoyingly github), limit the interactions that a web client such as gitworkshop.dev can achieve that are possible with a standard OOTB with a git server.