We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9638e92 commit bd8918fCopy full SHA for bd8918f
tools/ci.sh
@@ -18,6 +18,6 @@ function ci_commit_formatting_run {
18
# If the common ancestor commit hasn't been found, fetch more.
19
git merge-base upstream/master HEAD || git fetch upstream master
20
# For a PR, upstream/master..HEAD ends with a merge commit into master, exclude that one.
21
- python tools/verifygitlog.py -v upstream/master..HEAD --no-merges
+ python tools/verifygitlog.py --ignore-rebase -v upstream/master..HEAD --no-merges
22
}
23
0 commit comments