"Expose for the shadows, develop for the highlights" - is still the best rule of thumb to go by.(posted 8381 days ago)
The usual (some would say only) reason for pushing film is to bring a low contrast subject up to a normal printing density on the negative, and you should develop to get the highlights to whatever density you consider 'normal'.
If you get highlights of 1.15 density with a normal contrast subject and normal development, then you should aim for the same highlight density from your low-contrast subject.
Pushing a normal contrast exposure just gets you blocked up and unprintable highlights.