+ git add current-linux-os-releases.json + git diff-index --quiet HEAD + git config user.email openmodelica@ida.liu.se + git config user.name OpenModelica Hudson + git commit -m Updated current OS versions [detached HEAD f83da4f2] Updated current OS versions 1 file changed, 2 insertions(+), 2 deletions(-) + git push git@gitlab.liu.se:OpenModelica/apt-build.git HEAD:master To gitlab.liu.se:OpenModelica/apt-build.git 2c7a0537..f83da4f2 HEAD -> master