It wasn't the repository, it was the software. At least, it seems to have been. In any case, yeah, it went through just fine.