Commit 0d870107 authored by Francisco-Javier Ramon Salguero's avatar Francisco-Javier Ramon Salguero
Browse files

Merge branch 'fix-ssh-port'

parents e5cd4b32 f278f92f

Workflow for documentation production in OSM.md

+2 −2
Original line number Diff line number Diff line
@@ -100,7 +100,7 @@ It is also highly advisable adding an SSH key to https://osm.etsi.org/gitlab/pro 
#### If the repository already exists in ETSI's Gitlab but not locally



```bash

git clone git@osm.etsi.org:osm-doc/test.git

git clone ssh://git@osm.etsi.org:29419/osm-doc/test.git

```



**>>>>> TEMPORARY URL**:
@@ -211,7 +211,7 @@ git pull origin master 
```bash

cd existing_folder

git init

git remote add origin git@osm.etsi.org:osm_doc/test.git

git remote add origin ssh://git@osm.etsi.org:29419/osm-doc/test.git

git add .

git commit -m "Initial commit"

git push -u origin master