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

Check PR's status, don't add or remove labels after PR is closed or merged. #8

Open

lunny opened this issue Nov 24, 2016 · 3 comments

Member

lunny commented Nov 24, 2016

As title.

Member

tboerger commented Nov 24, 2016

If the pr is closed we should remove the labels, if it's merged just check if lgtm is done and check if the labels are set correctly

Member

bkcsoft commented Dec 6, 2016

@tboerger extending on the latter: and notify all owners if lgtm/done wan't set when merging 😉

Member Author

lunny commented Dec 7, 2016

good idea! Sounds perfect.

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