Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
Matthias: Add do-while loop again.