PRs not merged when merge label is added.

[bendavies]

Hi,

Does this need github.event.action == 'labeled' added for this to work?

Steps required to reproduce the problem

1. Have a PR raised by dependabot for a non dev dependency
2. Add the merge label
3. PR is not merged

Expected Result

• PR is merged

Actual Result

• PR is not merged

[bendavies]

Maybe I'm not understanding how this is meant to be used.
I just made this work by:

1. adding label.
2. forcing the workflow to rerun.
3. it merged.

How do you use it?

[localheinz]

@bendavies

The way it works right now is not idea: you have to

• add the label when you open a pull request or
• add the label, and then commit again

I'd prefer it as well when adding the label queued the merge job to be run. I think this need to be solved with a separate application.

[bendavies]

thanks @localheinz !

[localheinz]

Closing in light of #759.