+ git remote -v+ grep www.openmodelica.org origin git@github.com:OpenModelica/www.openmodelica.org.git (fetch) origin git@github.com:OpenModelica/www.openmodelica.org.git (push)
