Daniel Shteremberg

> This is a really useful change, and I'd like to see it merged. > > The formatting changes obscure the actual meat of the changes, and might (?) make...

> This is a useful contribution. Any chance of fixing the merge conflict and getting it merged? I would also like to see this merged, unfortunately I haven't heard anything...

FYI: I made PR for this: https://github.com/actions/labeler/pull/60 We've made the change locally and are using it happily. Would love to get this PR in and switch back to using the...

/hello-world

/hello-world