We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 08fddf9 commit fb9cc55Copy full SHA for fb9cc55
1 file changed
.github/workflows/code-formatting.yml
@@ -18,7 +18,7 @@ jobs:
18
set -x
19
# We need to fetch the other commit.
20
git fetch --depth=1 origin ${{ github.event.pull_request.base.ref }}
21
- git fetch --depth=1 origin pull/${{ github.event.pull_request.number }}/head:${{ github.event.pull_request.head.ref }}
+ git fetch origin pull/${{ github.event.pull_request.number }}/head:${{ github.event.pull_request.head.ref }}
22
23
# We create a new branch which we will use for the eventual PR.
24
git config --global user.email "alibuild@cern.ch"
0 commit comments