Our 'git-gitlab-push' script requires Git 1.7.2 or greater to use the
'git -c <name>=<value> ...' configuration option.  Since 1.7.2 came out
in 2010 it is reasonable to expect developers to have it in 2015.