Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
to be deprecated:
openmpi/1.4.3