o Minor features (developer tooling):
    - Modify git pre-push hook script to disallow pushing branches other than
      master, release-* and maint-* to origin remote. Implements feature
      29532.