diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2018-06-12 15:21:16 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-06-12 15:21:16 +0200 |
commit | 27b3d8c6d48abc7c00f57ab12224cbe28509e52e (patch) | |
tree | 9bddeb269c123d4751f988af21748a565e1ada78 | |
parent | 4c0d1403b66ce654bc8b8d3138a93b8841033f08 (diff) | |
download | seabios-27b3d8c6d48abc7c00f57ab12224cbe28509e52e.tar.gz |
update url
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 24f0a55..4a8e4d6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,7 +14,7 @@ def RPMSource() { ] ], userRemoteConfigs: [ - [ url: 'git://git.seabios.org/seabios.git' ] + [ url: 'https://git.seabios.org/seabios.git' ] ]]) } } |