Make the first PR of a successful installation.