wechat icon indicating copy to clipboard operation
wechat copied to clipboard

PR merge 后,ready-for-merge 标签还在

Open donhui opened this issue 5 years ago • 6 comments

PR merge 后,ready-for-merge 标签还在 例如: #85,#81 是否可以有一个类似 Prow 这样的东西,在 merge 后移除 ready-for-merge 标签

donhui avatar Apr 24 '19 01:04 donhui