[NeXus-buildserver] Build failed in Jenkins: definitions-development #14048

[jenkins at nexusformat.org]

See <https://build.nexusformat.org/job/definitions-development/14048/>

------------------------------------------
Started by an SCM change
Building in workspace <https://build.nexusformat.org/job/definitions-development/ws/>
 > git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url https://github.com/nexusformat/definitions.git # timeout=10
Fetching upstream changes from https://github.com/nexusformat/definitions.git
 > git --version # timeout=10
Setting http proxy: wwwcache.rl.ac.uk:8080
 > git fetch --tags --progress https://github.com/nexusformat/definitions.git +refs/heads/*:refs/remotes/origin/*
ERROR: Error fetching remote repo 'origin'
ERROR: Error fetching remote repo 'origin'
Archiving artifacts