Learn more about these different git repos.
Other Git URLs
It would be nice to have this feature, so that we could directly get the fixing PR against a given issue.
Duplicate of #4546
Metadata Update from @jlanda:
- Issue close_status updated to: Duplicate
- Issue status updated to: Closed (was: Open)
to comment on this ticket.