Le jeudi 22 juin 2023 à 20:29 +0200, Jonas Hahnfeld a écrit :
> On Thu, 2023-06-22 at 14:32 +0200, Jean Abou Samra wrote:
>
> > Recently, GitLab gained a "bulk edit" button in the MR view.
>
> This button has "always" been there ...
Ok, not sure how I managed to miss it until recently...
> It
Hi Werner,
the Index looks great, thanks a lot for your work on this!
I have two minor points of feedback on the second page: There should IMO
be some padding between the boxed (magenta) headings, and they should
always be in the order *Score, *Staff, *Voice, *Lyrics.
I hope this is a good
On Thu, 2023-06-22 at 14:32 +0200, Jean Abou Samra wrote:
> Recently, GitLab gained a "bulk edit" button in the MR view.
This button has "always" been there ...
> That means the person doing the release (currently Jonas) can
> easily assign all the MRs merged during the release in a few
>
Le jeudi 22 juin 2023 à 14:32 +0200, Jean Abou Samra a écrit :
> So far, I think different people have different habits on when to set MR
> milestones — some do it just after merging, some don't, I do it when I
> remember to, and the MRs without milestone get their
> milestone on the release
So far, I think different people have different habits on when to set MR
milestones — some do it just after merging, some don't, I do it when I remember
to, and the MRs without milestone get their
milestone on the release day.
Recently, GitLab gained a "bulk edit" button in the MR view. That