Isn't merging supposed to be blocked?

[HeshamElsaman]

Isn't merging being blocked till a review takes place this time?

[avgagliardo]

PR's are supposed to be reviewed before a merge. Not sure what the current permissions for the repo are, but if you can merge I would wait until its properly reviewed otherwise someone might miss out on their PR review points.

[laserlab]

Since I’m the maintainer, it’s not that critical but I put back the same ruleset as in the last homework to have that nice red cannot be merged