Initial commit for the Github PR Manager.