Console Output

+ 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 9a9efdee] 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
   9bec6b4c..9a9efdee  main -> main
Branch 'main' set up to track remote branch 'main' from 'origin'.