For example, me collaborating with @fiatjaf on git.njump.me We are using https://git.fiatjaf.com/song, that is compatible with @DanConwayDev work.

GitWorkshop.dev

Decentralized github alternative over Nostr

shows repositories that have indicated they are receiving PRs and Issues via nostr