Change pull request to require an approval to be merged

[jneira]

• As it is already done in ghcide

@alanz do you have the needed permissions to change that?

[alanz]

I have ticked just the first box:

[jneira]

many thanks @alanz i already had to ask you a review to merge 😄