Don't log the git rev-list command that we use for IsBranchMerged#4896
Merged
stefanhaller merged 1 commit intomasterfrom Sep 20, 2025
Merged
Don't log the git rev-list command that we use for IsBranchMerged#4896stefanhaller merged 1 commit intomasterfrom
stefanhaller merged 1 commit intomasterfrom