Hello,
from the documentation I can see that the GIT repositories are mirrored. What about other data like Pull Request comments and tasks?
What about opening a Pull Request where huge source files need to be shown. Are these files fetched from the mirror or the Master ?
Thank you