you would lose 80 repos from "10000 : 1847" also in that case.