changed repo for TRIPS