pull-request: introduced new merge-checks....
pull-request: introduced new merge-checks.
- merge checks show nicer UI for status of merge approval inside PR
- merge checks now also forbid a merge if TODO notes are present
- use global refresh merge check when submitting comments. It
no longer required page reload when submitting status change.
