Offer to push missing commits for pull requests

When doing a pull request, one might have forgotten to push changes.
Offer to do this, including offering push -f for diverging branched.

Suggested-by: Roger Hu <rhu@hearsaycorp.com>