This repository has been archived by the owner on Apr 5, 2023. It is now read-only.

Consider adding a `merged` label for PRs #21

Open

lleger opened this issue Dec 13, 2018 · 0 comments

Labels

feature question

Member

lleger commented Dec 13, 2018

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.

The text was updated successfully, but these errors were encountered:

lleger added question feature labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.