diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-05 13:03:22 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-05 13:03:22 +0200 |
| commit | e39a10c6af32d574a260fe67a32de05e0b09768c (patch) | |
| tree | cbd1746d91221d6cc5e48c4379b64e7a95055a56 /jenkinsfile.kernel.sync | |
| parent | c20752e25ad150317b5ff4b0af9ba123f792c9e6 (diff) | |
| download | jenkinsfiles-e39a10c6af32d574a260fe67a32de05e0b09768c.tar.gz | |
switch to hagrid
Diffstat (limited to 'jenkinsfile.kernel.sync')
| -rw-r--r-- | jenkinsfile.kernel.sync | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsfile.kernel.sync b/jenkinsfile.kernel.sync index 5664caa..a33bc23 100644 --- a/jenkinsfile.kernel.sync +++ b/jenkinsfile.kernel.sync @@ -3,7 +3,7 @@ * job name: kernel-sync */ -def base = "snape.kraxel.org:/public/vhosts/www.kraxel.org/repos" +def base = "hagrid.kraxel.org:/public/vhosts/www.kraxel.org/repos" def dest = "kernel" pipeline { |