Consider adding a `merged` label for PRs

newaperio / custodian

GitHub bot to manage routine tasks.

https://newaperio.github.io/custodian

MIT License

4 stars 1 forks source link

Open lleger opened 5 years ago

lleger commented 5 years ago

Currently Custodian removes all labels from PRs on merge/close. I'm thinking we could consider adding a merged label to PRs that get merged.