Differences

This shows you the differences between two versions of the page.

--- developers:git:specificities_git_abinit [2023/05/02 16:38] – [What is an "on-track" branch ?] Xavier Gonze
+++ developers:git:specificities_git_abinit [2024/02/29 10:07] – [(Quick start) Cloning from gitlab] Xavier Gonze
@@ Line 30: / Line 30: @@
 \\
 After some modifications, using the git commands (e.g. git add, git commit ...), you can push on the gitlab server thanks to : \\
-<color blue>git push </color>\\
-[ or\\
 <color blue>git push --tags  </color>     <color red>( double-dash before tags )</color>\\
-if tags have been introduced...]\\
+\\
 In order for the modifications to be merged in the trunk, a merge request has to be issued, as described later.\\
 \\
@@ Line 117: / Line 115: @@
 Then, in order to synchronize, in a first step, issue :
-   git fetch trunk
+   git fetch --tags trunk
 then, if the develop branch is to be updated, supposing it is checked out, merge the trunk/develop in your develop :
@@ Line 134: / Line 132: @@
    git checkout release-9.8
    git merge remotes/trunk/release-9.8
-   git push -u origin release-9.8
+   git push -u origin release-9.8 --tags
 That's it ! You can now make modifications in your release-9.8, then issue a merge request to the trunk/release-9.8 .