pure-bot
pure-bot copied to clipboard
Remove "Approved" label when new code has been pushed
Currently, github will prevent from auto-mergin when an approved PR has been updated. It would be nice, though, when the label would get removed, too as a new review is required anyway (and the PR is factually not approved anymore when the PR has been updated.