  o Minor bugfixes (developer tooling):
    - Only log git script changes in post-merge script when merge was to the
      master branch. Fixes bug 31040; bugfix on 0.4.1.1-alpha.
