@Nicholas Chammas <nicholas.cham...@gmail.com> Would you be interested in tacking a look? I would love this to be done.
2020년 3월 25일 (수) 오전 10:30, Hyukjin Kwon <gurwls...@gmail.com>님이 작성: > 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 <nicholas.cham...@gmail.com>님이 > 작성: > >> 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 <dongjoon.h...@gmail.com>, who may be interested in >> this. >> >> Nick >> >