update ketchup script to not pass --repos