Commits
Philipp A. Hartmann authored 2875b576169
Revert "Travis config trial: git config --global" Avoids messing with global config when running the script manually on a developer machine. This reverts commit 6225092355e3087c3e73928f54cc1073c55067d6.