From 3d46f23fc715236bf21d17ac5284e3d626b94f39 Mon Sep 17 00:00:00 2001
From: Athanasius <github@miggy.org>
Date: Fri, 31 Jul 2020 13:07:40 +0100
Subject: [PATCH] Need svn_url, not url

'url' is api.github.com
---
 .github/workflows/pr-checks.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr-checks.yml b/.github/workflows/pr-checks.yml
index e908063b..78195036 100644
--- a/.github/workflows/pr-checks.yml
+++ b/.github/workflows/pr-checks.yml
@@ -57,7 +57,7 @@ jobs:
     ####################################################################
     - name: Lint with flake8
       env:
-        BASE_REPO_URL: ${{github.event.pull_request.base.repo.url}}
+        BASE_REPO_URL: ${{github.event.pull_request.base.repo.svn_url}}
         BASE_REPO_OWNER: ${{github.event.pull_request.base.repo.owner.login}}
         BASE_REF: ${{github.base_ref}}