Possible bug when assigning multiple labels at once

[renefritze]

In this PR I've assigned 3 labels at once via a cli client. The action rejected this at first although one of the labels do fit the required list. After removing and re-adding the "pr:fix" label the action went through OK.

[renefritze]

This seemed like a one time occurence and I cannot replicate this any more.

[renefritze]

I now get this almost always with the official github cli.

Action ran right after opening the PR from cli: https://github.com/pymor/pymor/pull/1168/checks?check_run_id=1419045654

Action ran after deleting and re-adding one of the required labels: https://github.com/pymor/pymor/pull/1168/checks?check_run_id=1419103739

[yogevbd]

@renefritze Is this issue still reproduces? this is very weird as we use it in react-native-navigation for a long time and it never reproduced.

[renefritze]

Tried again just now and did not get the faulty behaviour. Maybe it's a timing issue of when the github action runs? Is there anything I can do to add more information to faulty run maybe?