Check PR's status, don't add or remove labels after PR is closed or merged.
lunny opened this issue · comments
As title.
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
@tboerger extending on the latter: and notify all owners if lgtm/done wan't set when merging 😉
good idea! Sounds perfect.