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

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

Open lunny opened this issue 8 years ago • 3 comments

As title.

Nov 24 '16 08:11 lunny

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

Nov 24 '16 12:11 tboerger

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

Dec 06 '16 11:12 bkcsoft

good idea! Sounds perfect.

Dec 07 '16 15:12 lunny