Clone the repository config with the command git clone ssh://

Bobignou Git server

Welcome to the Git repository.


On this Git server, I post some copies of some repositories from my GitHub and some project that are too early in development for me to post on my main GitHub.



You can browse the various repositories on the menu at the left of the screen and you can read the of each repository on the panel at the right of the screen. If you want to clone a repository, the command to do so is written at the top right of the screen.

The key bindings used for navigation are written at the bottom left of the screen.

Pushing new repository

Pushing a new repository on this server is easy to do. Firstly, add this server as a new remote for your repository:

git remote add soft ssh://<repository name>

Then you can simply push your branch with:

git push soft <branch name>

If you don't want to use soft as the name of the remote, you can use any other name.


If you have the admin rights and you want to edit the configuration of this server, you can do so by cloning, editing and pushing the configuration repository.

You can clone this repository with the following command:

git clone ssh://{{.Host}}:{{.Port}}/config

Back to homepage.