+ 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)