@Nicholas Chammas <[email protected]> Would you be interested in tacking a look? I would love this to be done.
2020년 3월 25일 (수) 오전 10:30, Hyukjin Kwon <[email protected]>님이 작성: > That should be cool. There were a bit of discussions about which account > should label. If we can replace it, I think it sounds great! > > 2020년 3월 25일 (수) 오전 5:08, Nicholas Chammas <[email protected]>님이 > 작성: > >> Public Service Announcement: There is a GitHub action that lets you >> automatically label PRs based on what paths they modify. >> >> https://github.com/actions/labeler >> >> If we set this up, perhaps down the line we can update the PR dashboard >> and PR merge script to use the tags. >> >> cc @Dongjoon Hyun <[email protected]>, who may be interested in >> this. >> >> Nick >> >
