Merge pull request #5806 from punkymaniac/comment-format Fix documentation formating on repository.h