We may introduce the following labels to reflect the state of PR: - `waiting-for-review` - `waiting-to-be-fixed` - `make-push` or `OK-to-commit` - etc? I think it can be useful, both for developers and reviewers.