you got it, gitworkshop.dev can be used for issue tracking but also viewing PRs and related discussion. Its just a PWA and the events can live on your relay.
if you have ngit installed and add a git remote with the `nostr://npub123/identifer` format, you can push a branch with a `pr/`prefix and it will submit it as a PR over nostr rather than try to send it to the git server.
we are scheming to setup git servers which will host any repo with a nostr event to make setup even easier. ngit will proxy to all git servers listed in your announcement if you use the nostr remote.
I'd submit a PR so you can see but I cant clone your repo as I cant reach the git server you listed. I guess its not public.