chdsbd / kodiak

🔮 A bot to automatically update and merge GitHub PRs

Home Page:https://kodiakhq.com

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Remove automerge label after merging

gharlan opened this issue · comments

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

This seems doable.

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

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

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