ZegnatFor future reference: if you go to the “Files changed” tab there is a button for starting a review. I think everyone should have that one. After leaving a review that is an approval, the merge button in the GitHub UI should turn green (assuming it isn’t your own PR)
