Github issues have links, I would just include it in the description. "Shorthand" for a link could also be `user/repo#123`.
-J 2018-07-17 19:49 GMT+02:00 Chris Brody <[email protected]>: > Suppose I would open a GH issue somewhere, then cross-reference it > from a commit or a PR. But the original GH issue is in a different > repository. Any idea how we can deal with this? > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
