<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il giorno dom 15 mar 2020 alle ore 12:26 Christof Thalhofer <<a href="mailto:chrisml@deganius.de">chrisml@deganius.de</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">...<br>
<br>
So now you can in Gitlab go to the Gambas repository:<br>
<a href="https://gitlab.com/gambas/gambas" rel="noreferrer" target="_blank">https://gitlab.com/gambas/gambas</a><br>
<br>
And there create the merge request to merge the single commit<br>
401ce521e7b5c4b18a85c9af8e47a85d0beb6cd7 (in short: 401ce521)<br>
which is in<br>
<a href="https://gitlab.com/GianluigiOr/gambas/-/commits/master" rel="noreferrer" target="_blank">https://gitlab.com/GianluigiOr/gambas/-/commits/master</a><br>
so that Benoît can merge it.<br>
<br>
Ok, please do it.<br><br></blockquote><div><br></div><div>But I did this, I went there and what I see is not what I saw before (a blue button for the merge).<br>The button is gone and if I go for a new merge I get what I showed you in the images.<br>Isn't there a way to merge from a terminal?</div><div><br></div><div>Regards</div><div>Gianluigi<br></div></div></div>