Given this shared repo management, it would be good to discuss and write down a process for reviewing and merging PRs we are all happy with.