Is there a way to change the ssh port used for remote instance?

Hi, new to using agola. I’m trying to set up the demo in rootlessly with podman, I’ve mapped the gitea port 22 to a random 4 digit port on my local system. I was wondering if there was a way to change the port that agola is trying to use for the ssh connection.

Hi @skewballfox if you mean about the ssh step clone, agola take the SSH clone URL from the repository info.
I think you can change the ssh port modifying only the field SSH_PORT in the gitea app.ini (I find it in the root /data/gitea/conf in my gitea). For more information about the app.ini see Config Cheat Sheet | Gitea Documentation.

After restart gitea, it is not needed to recreate the project in agola.