CI: Add stage to push to local git repository

Jaroslava Fiedlerovarequested to merge
ci-push-local-repo into develop

This MR includes minor code cleanup and fixes for warnings reported by Jenkins. It also introduces a new stage in ci-scripts/Jenkinsfile-GitLab-Container that pushes the branch to a local repository after the merge. In a follow-up MR, this local repository will be used as the source for cloning the branch, replacing direct access to GitLab/GitHub.

Test with branch: https://jenkins-oai.eurecom.fr/job/RAN-Local-Repo-Push/75/

Test with forked repo: https://jenkins-oai.eurecom.fr/job/RAN-Local-Repo-Push/76/

Container parent run with Local-Repo-Push stage: https://jenkins-oai.eurecom.fr/job/RAN-Container-Parent/17932/

Edited by Jaroslava Fiedlerova

Merge request reports