Who is in charge of the repos, and under what conditions does a pull request get merged?
Who is in charge of the repos, and under what conditions does a pull request get merged?