Thanks for the suggestion, Jingsong. I think it sounds like a good idea to
link related pull requests and issues. We should all try to do that, and
thank you for the link describing how to do it in GitHub.
On Wed, Jul 1, 2020 at 11:51 PM Jingsong Li wrote:
> Hi,
>
> When I look at the issues, it
Hi,
When I look at the issues, it is difficult for me to determine which ones
are already in progress and how they were fixed.
And for understanding an issue, it seems that I need to read the
discussion in issue, then search and find the merged pull request. It is
not convenient.
Can community ma
