On 11/12/2018 10:10, Francesco Mari wrote: > Hi, > > On Tue, 11 Dec 2018 at 10:56, Davide Giannella <dav...@apache.org> wrote: > >> Does git change always HEAD? Even if you merge something that fits >> "behind" HEAD. >> > Git always changes the head when a merge commit is performed. See [1] for > more details about how merging works in Git. I hope I understood your > concerns right.
+1 then on this aspect. :) D.
