don't merge is a GitHub App for prevent merging of Pull Requests with "don't merge" or "do not merge" label selected on labels area.