[core-workflow] Re: "Awaiting merge" label for PRs from core devs