o Minor bugfixes (developer tooling):
    - Fix pre-push hook to refrain from rejecting fixup and squash commits
      when pushing to non-upstream git remote. Fixes bug 30286; bugfix on
      0.4.0.1-alpha.