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 >
