reposync: better code for new manifest update