[core-workflow] Re: Using Gitmate to help with PR triage