Minor improvements to loading time of git repos