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:

kodiak/bot/kodiak/evaluation.py

Line 1115 in d2eb5d5

await set_status("merge complete 🎉")

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: redaxo/redaxo#4849