install-prod reloads tevatron with the current repo state