The `lgtm` label should be removed if a PR with that label gets a new commit. This way, intermittent / in work changes aren't being merged.