devel/getting-started: Fix the doc about port used to access the archive

It is not hardcoded 5080 any more.

added 1 commit

• 47f5cf8c - devel/developer-setup: use code-block:: console for cli snippets

Compare with previous version

Jenkins job DDOC/builds #647 succeeded .
See Console Output and Coverage Report for more details.

Jenkins job DDOC/builds #648 succeeded .
See Console Output and Coverage Report for more details.

I think you should also add instructions about how to make that port fixed using the compose.override.yml file or reference the Exposed ports section in the README of https://gitlab.softwareheritage.org/swh/devel/docker.

added 2 commits

• b38fd2d2 - devel/getting-started: Fix the doc about port used to access the archive
• ffa6355d - devel/developer-setup: use code-block:: console for cli snippets

Compare with previous version

added 4 commits

• 9ad6d136 - 1 commit from branch swh/devel:master
• 9ae65cde - devel/getting-started: use code-block:: console for cli snippets
• f1b81f8d - devel/getting-started: Fix the doc about port used to access the archive
• 59ac669c - devel/developer-setup: use code-block:: console for cli snippets

Compare with previous version

Jenkins job DDOC/builds #649 succeeded .
See Console Output and Coverage Report for more details.

Jenkins job DDOC/builds #652 failed .
See Console Output and Coverage Report for more details.

added 2 commits

• 2f540f1f - devel/getting-started: Fix the doc about port used to access the archive
• f3d43e56 - devel/developer-setup: use code-block:: console for cli snippets

Compare with previous version

rebased and applied @anlambert comment

resolved all threads

Jenkins job DDOC/builds #653 failed .
See Console Output and Coverage Report for more details.

Jenkins job DDOC/builds #654 failed .
See Console Output and Coverage Report for more details.

added 2 commits

• 31d7d18f - devel/getting-started: Fix the doc about port used to access the archive
• 82d8e488 - devel/developer-setup: use code-block:: console for cli snippets

Compare with previous version

added 4 commits

• ee51a133 - Remove symlink introduced by mistake
• b441a54f - devel/getting-started: use code-block:: console for cli snippets
• 466c234b - devel/getting-started: Fix the doc about port used to access the archive
• 1c0a615f - devel/developer-setup: use code-block:: console for cli snippets

Compare with previous version

Jenkins job DDOC/builds #656 succeeded .
See Console Output and Coverage Report for more details.

merged