ED/EDMarketConnector
1
0
Fork 0
mirror of https://github.com/EDCD/EDMarketConnector.git synced 2025-04-17 17:42:20 +03:00
Code Issues Projects Releases Wiki Activity

Comment the 'add base remote and fetch it'

Browse Source
This commit is contained in:
Athanasius 2020-07-31 13:15:52 +01:00
parent 3d46f23fc7
commit 71fa1dbcf6
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/pr-checks.yml vendored
View File

@ -62,7 +62,11 @@ jobs:
BASE_REF: ${{github.base_ref}}
run: |
# We have checked out the 'head' repo, so we need the references
# for the 'base' repo in order to do the 'git diff' below
# So, add the 'base' repo as a new remote
git remote add ${BASE_REPO_OWNER} ${BASE_REPO_URL}
# And then fetch its references
git fetch ${BASE_REPO_OWNER}
# stop the build if there are Python syntax errors or undefined names, ignore existing
git diff "refs/remotes/${BASE_REPO_OWNER}/${BASE_REF}" -- | flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics --diff