Perhaps this is more a git question but… What does it mean :
Merge branch ‘devel’ of gitlab.ramattack.net:aaaa/bbbb into devel
First the fact of being with ’ the source merging branch, is different that not having the ’ ?.
Or it’s just similar to a normal commit of the local repo of devel into the own devel repo?.
Thank you so much