Check openness before merging PRs

[jonaslindmark]

So I accidently merged a PR just now by doing this:

1. "prepare" a comment but don't comment
2. Click "Close and comment"
3. Click delete branch
4. Tutter merged your commit

In general I think the expected behavior is that if the PR is closed you can't merge it.