Fix the r7rs-srfi repo url

2024-09-28 15:17:22 +03:00 · 2024-09-28 15:17:22 +03:00 · d09df0b6f6
parent 5eba305257
commit d09df0b6f6
1 changed files with 1 additions and 1 deletions
--- a/jenkins.yml
+++ b/jenkins.yml
@ -92,7 +92,7 @@ jobs:
        branchSources {
          git {
              id('github')
-              remote('https://github.com/schemeorg-community/index.scheme.or://github.com/srfi-explorations/r7rs-srfi.git')
+              remote('https://github.com/srfi-explorations/r7rs-srfi.git')
          }
        }
        orphanedItemStrategy {