#!/bin/sh # Helper function to set local config option if it is not set locally already. # In newer Git versions `git config --local