<div dir="ltr"><div dir="ltr">On Sun, Apr 20, 2025 at 7:21 AM Ingo Klöcker <<a href="mailto:kloecker@kde.org">kloecker@kde.org</a>> wrote:</div><div class="gmail_quote gmail_quote_container"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Samstag, 19. April 2025 10:33:45 Mitteleuropäische Sommerzeit Ben Cooksley <br>
wrote:<br>
> A big part of the issue here is our rebase centric workflow - normally with<br>
> Gitlab you use merge commits and in this workflow CI only runs when the MR<br>
> changes.<br>
> With a rebase workflow like ours though, other changes to the repo require<br>
> the merge request to be updated - triggering unnecessary CI runs.<br>
<br>
Sounds like we shouldn't be so trigger-happy clicking the Rebase button on our <br>
MRs when it's not really necessary. We could rebase locally and then commit <br>
the rebase together with other review changes.<br></blockquote><div><br></div><div>If you don't rebase on Gitlab then it won't detect that a merge request has been merged when you push the changes so probably not the best to do it that way.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
On the other hand, GitLab doesn't really make it easy to avoid running <br>
pipelines unnecessarily often because "Apply Suggestion" will trigger a <br>
pipeline even if other review comments require local changes. So, either we <br>
have to cancel the pipeline that GitLab started automatically if we need to <br>
make more changes. Or we have to refrain from using "Apply Suggestion" and <br>
instead apply the suggestions manually locally. Neither approach is <br>
convenient.<br></blockquote><div><br></div><div>Apply suggestion should allow batching - see <a href="https://docs.gitlab.com/user/project/merge_requests/reviews/suggestions/#batch-suggestions">https://docs.gitlab.com/user/project/merge_requests/reviews/suggestions/#batch-suggestions</a></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Regards,<br>
Ingo</blockquote><div><br></div><div>Cheers,</div><div>Ben </div></div></div>