Perhaps this is about commit granularity. If keeping the history about advancing the task is not useful, then I’d merge these commits together before merging th

Perhaps this is about commit granularity. If keeping the history about advancing the task is not useful, then I’d merge these commits together before merging the PR; in some workflows this is set up to happen automatically too.