2cd58d8bb1
On Git 2.28, "git diff master..." (3 dots) no longer works when
"fetch --depth=1" is used, whereas it works on Git 2.26.
Replace "..." (3 dots) with ".." (2 dots) in the "git diff" command
computing the list of modified files between the base branch and the
PR branch.
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| build.yml | ||
| build_msi.yml | ||
| coverage.yml | ||
| doc.yml | ||
| posix-deps-apt.sh | ||