Auto add labels and size on PR #1155
Description
There should be github automation for having bot adding labels and size based on the filled-out PR.
I'm tired.
{{ message }}
There should be github automation for having bot adding labels and size based on the filled-out PR.
I'm tired.