Sorry for the delay, I finally had the time to explore my problem
The fault was not due to
gh-pages but something else.
In one of my repo build process, I am manually cloning a specific branch in order to update the documentation.
Example of command:
git clone --single-branch firstname.lastname@example.org:MangelMaxime/Fulma.git
It is failing because it says that I don’t have the permissions. That’s why I needed to add my own key to
I also noticed that if I used:
echo $SSH_PRIVATE_KEY > ~/.ssh/id_rsa
I have 2 problems.
First, the key is not secured enough:
Permissions 0644 for '/home/gitpod/.ssh/id_rsa' are too open.
It is required that your private key files are NOT accessible by others.
This private key will be ignored.
Second, the key don’t have the right format:
Load key "/home/gitpod/.ssh/id_rsa": invalid format
The first one is easy enough to solve because I can make the process run
chmod 0600 .ssh/id_rsa but for the second one, it’s harder because I think it’s due to Gitpod GUI which erase the newline probably.
This is not really blocking me right now, because I don’t publish a new version of the documentation every day and I can easily add my key if needed. Also, as you mentioned it’s probably not a good idea to automate my key addition so I am updating my build process to work seamlessly on Gitpod.