[#8128] make repo refresh work
4 files changed