An excellent thought! I think linking the Contract negotiation (ie SatShoot) to the actual problem (expressed in git issues in this case) would be doable with an e-tag pointing to a kind 1621 from a SatShoot Ticket(kind 32767). As a left-side-of-the-bell-curve approach I would just copy paste URL-s pointing to GitHub AND Gitworkshop.dev if I can make it work, the repo is already available there. GitHub is certainly quite advanced in UI around issues but doing it in parallel then maybe also switching would be a great win! PRs already work with ngit as I tested it with nostrapps.com . Will look into this!
Could just double-post the issue to GitHub, over the API, and have both links in it.