This is a web front-end for a Soft Serve Git server.
If you want to access this server with in a terminal with a TUI, you should use the command
ssh -p 23231 git.bobignou.red
Here is a list of all the repositories in this server:
If you have the right to do so, 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://git.bobignou.red:23231/<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.