git clone fails

[KristofferNyvoll]

Hello! Upon trying to clone this repository, I ran into the following error:

Cloning into 'webots'...
remote: Enumerating objects: 191924, done.
remote: Counting objects: 100% (732/732), done.
remote: Compressing objects: 100% (329/329), done.
error: RPC failed; curl 56 GnuTLS recv error (-54): Error in the pull function.
error: 273 bytes of body are still expected
fetch-pack: unexpected disconnect while reading sideband packet
fatal: early EOF
fatal: fetch-pack: invalid index-pack output

Does anyone have any idea of what I can do to fix this error?

Further details:

• Cloned with HTTPS
• OS: Ubuntu 22.04.1 LTS
• Terminal: zsh
• No network issues
• Got stuck at the same point both attempts (8%):

remote: Enumerating objects: 191924, done.
remote: Counting objects: 100% (732/732), done.
remote: Compressing objects: 100% (322/322), done.
retrieiving objects:   8% (16334/191924), 370.18 MiB | 7.58 MiB/s 

[KristofferNyvoll]

Nevermind, it worked to fork the repo and try again.

For anyone else struggling with getting started, they have extensive documentation under instalation in their wiki, and is further discussed in CONTRIBUTING.md.