Please can you change the review and merge policy?

[martin-cs]

Hi all (esp @chrisr-diffblue ),

As there are now less people working on this project, please could you reduce the number of reviews required to merge a PR to one?

Cheers,

• Martin

[chrisr-diffblue]

Hi Martin! I've just changed the branch protections for master to allow merges with one approving review. If I've been inadvertently blocking anything, then my apologies!

[martin-cs]

Thank you for the super-prompt response! I think the main block has been the changes that AdaCore made meaning Travis broke but I hope that #342 resolves this.