The ideal time to merge your PR