Re: PATCHES - Countdown for May 17th

[David Kastrup]

Jonas Hahnfeld <address@hidden> writes:

> Am Sonntag, den 17.05.2020, 15:18 +0200 schrieb Werner LEMBERG:
>> >> I think for now it's pushing to staging.  Either from the command
>> >> line, or because you have set staging as your destination branch in
>> >> the GUI, in which case you can use a button (usually starting by
>> >> rebase).
>> > 
>> > If using the command line, just make sure to push the rebased commit
>> > to the merge request first so that GitLab marks it correctly.  I
>> > haven't found a way to set the "merged" state manually after the
>> > commits have hit staging...
>> 
>> It seems we should provide a small script 'lilypond-commit', to be
>> used by everyone...
>
> Just use the UI to merge. This will probably become mandatory when
> integrating CI which I'm preparing right now.

It is much more direct to manage one's commits/issues on the command
line.  We should not lightly forego that possibility.

-- 
David Kastrup