#### If the repository already exists in ETSI's Gitlab and the local copy it is not up-to-date
#### If the repository already exists in ETSI's Gitlab and the local copy it is not up-to-date
...
@@ -148,7 +147,7 @@ When your are ready, you can push your branch to the remote repo:
...
@@ -148,7 +147,7 @@ When your are ready, you can push your branch to the remote repo:
git push origin BranchNewSection
git push origin BranchNewSection
```
```
Once you have pushed your branch to the remote repo, you should **inform the editor of it by making a _merge request_**. This can be easily made in the [GitLab web]https://osm.etsi.org/gitlab/osm_doc/test/merge_requests() (your recently pushed branch would be there).
Once you have pushed your branch to the remote repo, you should **inform the editor of it by making a _merge request_**. This can be easily made in the [GitLab web](https://osm.etsi.org/gitlab/osm_doc/test/merge_requests)(your recently pushed branch would be there).