Re: [REMINDER] JIRA should be closed after the PR is merged :)

2019-12-18 Thread jincheng sun
That's great Jialin! I received a lot of Jira-report emails. It's looks pretty nice for current JIRAs status. :) Best, Jincheng Jialin Qiao 于2019年12月18日周三 下午4:10写道: > Hi, > > I have gone through the open issues and closed those already fixed, and you > should have received the Jira-report

Re: [REMINDER] JIRA should be closed after the PR is merged :)

2019-12-18 Thread Jialin Qiao
Hi, I have gone through the open issues and closed those already fixed, and you should have received the Jira-report email bombing already :D Thanks, Jialin Qiao jincheng sun 于2019年12月18日周三 下午3:09写道: > Hi Committers & PPMC, > > I found that some of JIRAs have not be close even the PR already

[REMINDER] JIRA should be closed after the PR is merged :)

2019-12-17 Thread jincheng sun
Hi Committers & PPMC, I found that some of JIRAs have not be close even the PR already merged. The first time [1] I thought it was accidentally forgotten, just now found [2] have was also forgotten, so let me remind you here. BTW: One suggestion here is: Would be better to left some comments