Differences

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

--- developers:git:specificities_git_abinit [2024/02/29 10:06] – [How to set up a "hotfix" branch to be merged in trunk/release-x.y ?] Xavier Gonze
+++ developers:git:specificities_git_abinit [2024/04/09 16:58] (current) – [How to synchronize with the "trunk" virtual user ?] 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 123: / Line 121: @@
    git merge remotes/trunk/develop
-You can combine the last two commands in one as:
-   git pull trunk develop
 ===== How to set up a "hotfix" branch to be merged in trunk/release-x.y ? =====