We should automate the approval and merging of PRs coming from the server side - as long as the build went well.