xin: > My repo never appeared in the web interface, I don't know why.
The web interface is not updated anymore with new repos, sorry.
Our friends at immerda are aware of it but they are (rightfully, if you
ask me) focusing on the next generation of their Git hosting system,
instead of fixing non-critical bugs in the current one.