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>
Only check on the title, not body.

This is an explicit fork since the main version does not allow this option.