Describe the bug
In trying to run (via discrete steps) docs/internal/Ubuntu.md
I am getting a failure with the line
git clone --depth 1 https://github.com/bcmi-labs/arduino-editor.git ~/dev/git/arduino-editor
(I am actually using GitEye to do the clone (saves typing a long random password)
I then notice that I am unable to see any such repo in https://github.com/bcmi-labs
Is it private? Has it been renamed? Moved?

To Reproduce
Run git clone --depth 1 https://github.com/bcmi-labs/arduino-editor.git ~/dev/git/arduino-editor

Expected behavior
I expect to be able to clone the stated repo.

Screenshots
The error message is

https://github.com/bcmi-labs/arduino-editor: https://github.com/bcmi-labs/arduino-editor/info/refs?service=git-upload-pack not found

Desktop (please complete the following information):

• Ubuntu 20.04

Additional context
Add any other context about the problem here.