Repository navigation
fix(decision): use the merge base as base_rev for GitHub pushes and pull requests (bug 2072920) - #1100
Open
ahochheiden wants to merge 1 commit into
Open
fix(decision): use the merge base as base_rev for GitHub pushes and pull requests (bug 2072920)#1100ahochheiden wants to merge 1 commit into
ahochheiden wants to merge 1 commit into
Commits
Commits on Nov 9, 2026