+ git diff-index --quiet HEAD
+ git config user.email openmodelica@ida.liu.se
+ git config user.name OpenModelica Hudson
+ git commit -m Updated Linux versions in the JSON
[main 131cb445] Updated Linux versions in the JSON
1 file changed, 1 insertion(+), 1 deletion(-)
+ GIT_SSH_COMMAND=ssh -o StrictHostKeyChecking=no git push --set-upstream origin main
remote: Bypassed rule violations for refs/heads/main:
remote:
remote: - Changes must be made through a pull request.
remote:
remote: - Required status check "continuous-integration/jenkins/pr-merge" is expected.
remote:
To github.com:OpenModelica/www.openmodelica.org.git
3a3e0a39..131cb445 main -> main
branch 'main' set up to track 'origin/main'.
