push pr diminou