Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
gitlab.psi.ch will be shutdown by end of November! Please migrate repositories to https://gitea.psi.ch - if you need help, contact gitea@psi.ch
Changed Version Number
