diff --git a/jenkins.yml b/jenkins.yml index e58e80f..9884915 100644 --- a/jenkins.yml +++ b/jenkins.yml @@ -110,7 +110,6 @@ jobs: displayName: 'r7rs-pffi' branchSources { git { - id('github') remote('https://git.sr.ht/~retropikzel/r7rs-pffi') } }