Remove automerge label after merging

[gharlan]

I think it would be great to remove the automerge label after merging (maybe optionally). This would improve the list of closed pull requests.

[chdsbd]

This seems doable.

We can add an extra API call to api.remove_label where we set the "merge complete" status check:

https://github.com/chdsbd/kodiak/blob/d2eb5d562622ba429621f26e1f844176e5b6fce6/bot/kodiak/evaluation.py#L1115

I'm not sure if this needs to be configurable or not. I think it's probably fine if it isn't for now.

As a workaround, you may be able to use a GitHub Action to accomplish this functionality.

Here's an example Action that could probably work: https://github.com/actions-ecosystem/action-remove-labels

[gharlan]

As a workaround, you may be able to use a GitHub Action to accomplish this functionality.

Here's an example Action that could probably work: actions-ecosystem/action-remove-labels

Thanks! It works great: https://github.com/redaxo/redaxo/pull/4849